| 000 -LEADER |
|---|
| fixed length control field |
02270nmm a2200193Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230306s9999||||xx |||||||||||||||||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780821876145 (online) |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Automated theorem proving : |
| Remainder of title |
after 25 years |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Providence, R.I. : |
| Name of publisher, distributor, etc. |
American Mathematical Society, |
| Date of publication, distribution, etc. |
1984 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (ix, 360 p.) |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Contemporary mathematics |
| Volume/sequential designation |
v. 29 |
| International Standard Serial Number |
10983627 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 59, 1983T.p. verso. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographies. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
Automated theoremproving: a quartercentury review ; Citation for Hao Wang as winner of the milestone award in automated theoremproving ; 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 ; ProofChecking, TheoremProving, and Program Verification ; A Mechanical Proof of the Turing Completeness of Pure Lisp ; Automating HigherOrder Logic ; Abelian group unification algorithms for elementary terms ; Combining Satisfiability Procedures by EqualitySharing ; On the Decision Problem and the Mechanization of TheoremProving in Elementary Geometry ; Some Recent Advances in Mechanical TheoremProving of Geometries ; Proving Elementary Geometry Theorems Using Wu's Algorithm ; Automated Theory Formation in Mathematics ; Student Use of an Interactive Theorem Prover |
| Statement of responsibility |
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 WenTsun ; Wu Wentsun ; ShangChing Chou ; Douglas B Lenat ; James McDonald and Patrick Suppes |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Automatic theorem proving |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bledsoe W W |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Loveland Donald W |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.ams.org/conm/029/">http://www.ams.org/conm/029/</a> |
