Issue 3-4/1998
Content (7 Articles)
Global solutions for nonlinear systems using qualitative reasoning
E. Bradley, A. O'Gallagher, J. Rogers
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
Gennady Davydov, Inna Davydova, Hans Kleine Büning
Heuristics used by HERBY for semantic tree theorem proving
Qingxun Yu, Mohammed Almulla, Monroe Newborn
Adaptation of declaratively represented methods in proof planning
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou