Automated theorem proving : after 25 years

Contributor(s): Bledsoe W W | Loveland Donald WMaterial type: Computer fileComputer fileSeries: Contemporary mathematics ; v. 29Publication details: Providence, R.I. : American Mathematical Society, 1984Description: 1 online resource (ix, 360 p.)ISBN: 9780821876145 (online)Subject(s): Automatic theorem provingOnline resources: Click here to access online
Contents:
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 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book ICTS
Link to resource Accessible Online EBK21027
Total holds: 0

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.

Includes bibliographies.

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 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

There are no comments on this title.

to post a comment.