Learn More
Manthey and Bry's model generation approach to theorem proving for FOPC has been greeted with considerable interest. Unfortunately the original presentation of the technique can become arbitrarily(More)
Preface 1. Logic: proofs and models 2. Propositional calculus 3. Predicate calculus 4. Theorem proving 5. Modal logic 6. temporal reasoning 7. Non-Monotonic reasoning 8. Properties 9. Alternative(More)
  • 2
  • It is now common practice to use structured sets of features to describe syntactic structures, and to compare such structured sets by some form of unification. It is extremely tempting to try to(More)