UNC-CH/ CS/ Mechanized Inference/ Publications

o 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.
[PostScript (450Kb)] [DVI (280Kb)]

o 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.
[PostScript (584Kb)] [DVI (379Kb)]

o The Use of Semantics in Instance-Based Proof Procedures, David Plaisted
A survey of our past work in theorem proving.
[PostScript (172Kb)] [DVI (91Kb)]

o A Bibliography of Instance-Based Theorem Proving, David Plaisted

o UNC Technical Reports

More to come...
plaisted@cs.unc.edu, 23-Jan-96
If you have a link to this page...