W. W Bledsoe, Donald W. Loveland

Automated Theorem Proving

After 25 Years
Herausgeber: Loveland, Donald W.; Bledsoe, W. W

• Broschiertes Buch

Produktdetails

• Contemporary Mathematics
• Verlag: American Mathematical Society
• Erscheinungstermin: 15. Dezember 1984
• Englisch
• Abmessung: 171mm x 252mm x 14mm
• Gewicht: 486g
• ISBN-13: 9780821850275
• ISBN-10: 082185027X
• Artikelnr.: 47538808

Inhaltsangabe

Automated theorem proving: a quarter century review by D. W. Loveland
Citation to Hao Wang Computer theorem proving and artificial intelligence
by H. Wang Citation to Lawrence Wos and Steven Winker Open questions solved
with the assistance of AURA by L. Wos and S. Winker Some automatic proofs
in analysis by W. W. Bledsoe Proof-checking, theorem-proving, and program
verification by R. S. Boyer and J. S. Moore A mechanical proof of the
turing completeness of pure LISP by R. S. Boyer and J. S. Moore Automating
higher-order logic by P. B. Andrews, D. A. Miller, E. L. Cohen, and F.
Pfenning Abelian group unification algorithms for elementary terms by D.
Lankford, G. Butler, and B. Brady Combining satisfiability procedures by
equality sharing by G. Nelson On the decision problem and the mechanization
of theorem-proving in elementary geometry by W. Wen-Tsun Some recent
advances in mechanical theorem-proving of geometries by W. Wen-Tsun Proving
elementary geometry theorems using Wu's algorithm by S.-C. Chou Automated
theory formation in mathematics by D. B. Lenat Student use of an
interactive theorem prover by J. McDonald and P. Suppes.