記錄 2 之 2
Record:   Prev Next
作者 Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
書名 Automated theorem proving [electronic resource]: after 25 years / W.W. Bledsoe and D.W. Loveland, editors
出版項 Providence, R.I. : American Mathematical Society, 1984
國際標準書號 9780821876145 (online)
0821876147 (online)
9780821853832 (google)
082185383X (google)
9780821850275
082185027X (pbk.)
book jacket
說明 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
記錄 2 之 2
Record:   Prev Next