Normal view MARC view ISBD view

Automated theorem proving : after 25 years / [electronic resource] W.W. Bledsoe and D.W. Loveland, editors. - Providence, R.I. : American Mathematical Society, 1984. - 1 online resource (ix, 360 p.) - Contemporary mathematics, v. 29 0271-4132 (print); 1098-3627 (online); . - Contemporary mathematics (American Mathematical Society) ; v. 29. .

"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.

Includes bibliographies.

Automated theorem-proving: a quarter-century review / Citation for Hao Wang as winner of the milestone award in automated theorem-proving / Computer theorem proving and artificial intelligence / Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving / Open Questions Solved with the Assistance of AURA / Some Automatic Proofs in Analysis / Proof-Checking, Theorem-Proving, and Program Verification / A Mechanical Proof of the Turing Completeness of Pure Lisp / Automating Higher-Order Logic / Abelian group unification algorithms for elementary terms / Combining Satisfiability Procedures by Equality-Sharing / On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry / Some Recent Advances in Mechanical Theorem-Proving of Geometries / Proving Elementary Geometry Theorems Using Wu's Algorithm / Automated Theory Formation in Mathematics / Student Use of an Interactive Theorem Prover / Donald W. Loveland -- Martin Davis, David Luckham and John McCarthy -- Hao Wang -- Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin -- L. Wos and S. Winker -- W. W. Bledsoe -- Robert S Boyer and J Strother Moore -- Robert S Boyer and J Strother Moore -- Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning -- D. Lankford, G. Butler and B. Brady -- Greg Nelson -- Wu Wen-Ts�un -- Wu Wen-ts�un -- Shang-Ching Chou -- Douglas B. Lenat -- James McDonald and Patrick Suppes -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749237 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749238 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749239 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/04 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/05 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/06 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/07 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/08 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/09 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749246 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/11 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/12 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/13 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/14 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/15 http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/16

Access is restricted to licensed institutions


Electronic reproduction.
Providence, Rhode Island :
American Mathematical Society.
2012


Mode of access : World Wide Web

ISBN: 9780821876145 (online)

Subjects--Topical Terms:
Automatic theorem proving--Congresses.

LC Class. No.: QA76.9.A96 / S64 1983

Dewey Class. No.: 511.3