| 說明 |
1 online resource (ix, 360 p.) |
| 系列 |
Contemporary mathematics, 0271-4132 ; v. 29
|
|
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 / Donald W. Loveland -- 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 |
| 主題 |
Automatic theorem proving -- Congresses
|
|
Automatic theorem proving. fast (OCoLC)fst00822777
|
|
Conference proceedings. fast (OCoLC)fst01423772
|
| Alt Author |
Bledsoe, W. W
|
|
Loveland, Donald W
|
|
American Mathematical Society
|
|
