Cargando…
Automated theorem proving : after 25 years /
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Providence, R.I. :
American Mathematical Society,
1984.
|
| Colección: | Contemporary mathematics (American Mathematical Society) ;
v. 29. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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