Logic Programming and Automated Reasoning: ... International Conference, LPAR ... : Proceedings

Front Cover
Springer-Verlag, 1994 - Automatic theorem proving

From inside the book

Contents

Generalization and Reuse of Tactic Proofs
1
Program Tactics and Logic Tactics
16
On the Relation Between the AuCalculus and the Syntactic Theory
31
Copyright

19 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information