Description |
1 online resource (ix, 360 pages) |
Series |
Contemporary mathematics, 0271-4132 ; v. 29 |
|
Contemporary mathematics (American Mathematical Society) ; v. 29.
|
Contents |
Automated theorem-proving: a quarter-century review / Donald W. Loveland -- http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/'>http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749237 Citation for Hao Wang as winner of the milestone award in automated theorem-proving / Martin Davis, David Luckham and John McCarthy -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749238 Computer theorem proving and artificial intelligence / Hao Wang -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749239 Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving / Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/04 Open Questions Solved with the Assistance of AURA / L. Wos and S. Winker -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/05 Some Automatic Proofs in Analysis / W. W. Bledsoe -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/06 Proof-Checking, Theorem-Proving, and Program Verification / Robert S Boyer and J Strother Moore -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/07 A Mechanical Proof of the Turing Completeness of Pure Lisp / Robert S Boyer and J Strother Moore -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/08 Automating Higher-Order Logic / Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/09 Abelian group unification algorithms for elementary terms / D. Lankford, G. Butler and B. Brady -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/749246 Combining Satisfiability Procedures by Equality-Sharing / Greg Nelson -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/11 On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry / Wu Wen-Tsün -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/12 Some Recent Advances in Mechanical Theorem-Proving of Geometries / Wu Wen-tsün -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/13 Proving Elementary Geometry Theorems Using Wu's Algorithm / Shang-Ching Chou -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/14 Automated Theory Formation in Mathematics / Douglas B. Lenat -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/15 Student Use of an Interactive Theorem Prover / James McDonald and Patrick Suppes -- http://www.ams.org/conm/029/ http://dx.doi.org/10.1090/conm/029/16 |
Notes |
"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"--Title page verso |
Bibliography |
Includes bibliographical references |
Subject |
Automatic theorem proving -- Congresses
|
|
Automatic theorem proving
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Bledsoe, W. W
|
|
Loveland, Donald W
|
|
American Mathematical Society
|
ISBN |
0821876147 |
|
9780821853832 |
|
082185383X |
|
9780821876145 |
|