More to come...
Mechanical Theorem Proving, David Plaisted
- This chapter originally appeared in the book
Formal Techniques in Artificial Intelligence
R.B. Banerji (editor), (c) Elsevier Science Publishers B.V.
(North Holland), 1990.
Equational Reasoning and Term Rewriting Systems, David Plaisted
- From The Handbook of Logic in Artificial Intelligence and
Logic Programming, volume 1, edited by Dov Gabbay and
Jorg Siekmann, newly published by Oxford University Press.
The Use of Semantics in Instance-Based Proof Procedures, David Plaisted
- A survey of our past work in theorem proving.
A Bibliography of Instance-Based Theorem Proving, David Plaisted
UNC Technical Reports
If you have a link to this page...