Publications

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)]

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)]

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

A Bibliography of InstanceBased Theorem Proving, David Plaisted
 [HTML]

UNC Technical Reports
More to come...
plaisted@cs.unc.edu,
23Jan96
If you have a link to this page...