|
|
|
|
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
EBOOKCENTRAL_ocn774694026 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr c||---||||| |
| 008 |
840412s1984 riu ob 100 0 eng d |
| 040 |
|
|
|a COO
|b eng
|e pn
|c COO
|d OTZ
|d OCLCF
|d YDXCP
|d OCLCO
|d UIU
|d E7B
|d OCL
|d OCLCO
|d OCLCQ
|d OCLCO
|d EBLCP
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCA
|d LIP
|d OCLCQ
|d YOU
|d LEAUB
|d AU@
|d OCLCQ
|d OCL
|d OCLCQ
|d K6U
|d N$T
|d OCLCO
|d INARC
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 019 |
|
|
|a 882239552
|a 922980165
|
| 020 |
|
|
|a 0821876147
|q (online)
|
| 020 |
|
|
|a 9780821853832
|q (google)
|
| 020 |
|
|
|a 082185383X
|q (google)
|
| 020 |
|
|
|a 9780821876145
|q (electronic bk.)
|
| 020 |
|
|
|z 082185027X
|q (pbk.)
|
| 020 |
|
|
|z 9780821850275
|q (pbk.)
|
| 035 |
|
|
|a (OCoLC)774694026
|z (OCoLC)882239552
|z (OCoLC)922980165
|
| 050 |
|
4 |
|a QA76.9.A96
|b S64 1983
|
| 082 |
0 |
4 |
|a 511.3
|2 19
|
| 049 |
|
|
|a UAMI
|
| 111 |
2 |
|
|a Special Session on Automatic Theorem Proving
|d (1983 :
|c Denver, Colo.)
|
| 245 |
1 |
0 |
|a Automated theorem proving :
|b after 25 years /
|c W.W. Bledsoe and D.W. Loveland, editors.
|
| 260 |
|
|
|a Providence, R.I. :
|b American Mathematical Society,
|c 1984.
|
| 300 |
|
|
|a 1 online resource (ix, 360 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Contemporary mathematics,
|x 0271-4132 ;
|v v. 29
|
| 500 |
|
|
|a "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"--Title page verso.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
0 |
|t Automated theorem-proving: a quarter-century review /
|r Donald W. Loveland --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/749237
|t Citation for Hao Wang as winner of the milestone award in automated theorem-proving /
|r Martin Davis, David Luckham and John McCarthy --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/749238
|t Computer theorem proving and artificial intelligence /
|r Hao Wang --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/749239
|t Citation for Lawrence Wos and Steven Winker as Winners of the Current Research Award in Automated Theorem Proving /
|r Nils J. Nilsson, Robert Boyer, Donald Loveland and R. Daniel Mauldin --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/04
|t Open Questions Solved with the Assistance of AURA /
|r L. Wos and S. Winker --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/05
|t Some Automatic Proofs in Analysis /
|r W. W. Bledsoe --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/06
|t Proof-Checking, Theorem-Proving, and Program Verification /
|r Robert S Boyer and J Strother Moore --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/07
|t A Mechanical Proof of the Turing Completeness of Pure Lisp /
|r Robert S Boyer and J Strother Moore --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/08
|t Automating Higher-Order Logic /
|r Peter B. Andrews, Dale A. Miller, Eve Longini Cohen and Frank Pfenning --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/09
|t Abelian group unification algorithms for elementary terms /
|r D. Lankford, G. Butler and B. Brady --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/749246
|t Combining Satisfiability Procedures by Equality-Sharing /
|r Greg Nelson --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/11
|t On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry /
|r Wu Wen-Tsün --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/12
|t Some Recent Advances in Mechanical Theorem-Proving of Geometries /
|r Wu Wen-tsün --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/13
|t Proving Elementary Geometry Theorems Using Wu's Algorithm /
|r Shang-Ching Chou --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/14
|t Automated Theory Formation in Mathematics /
|r Douglas B. Lenat --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/15
|t Student Use of an Interactive Theorem Prover /
|r James McDonald and Patrick Suppes --
|u http://www.ams.org/conm/029/
|u http://dx.doi.org/10.1090/conm/029/16
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Automatic theorem proving
|v Congresses.
|
| 650 |
|
6 |
|a Théorèmes
|x Démonstration automatique
|v Congrès.
|
| 650 |
|
7 |
|a Automatic theorem proving
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a Bledsoe, W. W.
|
| 700 |
1 |
|
|a Loveland, Donald W.
|
| 710 |
2 |
|
|a American Mathematical Society.
|
| 758 |
|
|
|i has work:
|a Automated theorem proving (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGMjmtJyjjx8YQTFMjXwyb
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Bledsoe, W.W.
|t Automated Theorem Proving : After 25 Years.
|d Providence : American Mathematical Society, ©1984
|z 9780821850275
|
| 830 |
|
0 |
|a Contemporary mathematics (American Mathematical Society) ;
|v v. 29.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3112848
|z Texto completo
|
| 938 |
|
|
|a Internet Archive
|b INAR
|n automatedtheorem0029spec
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3112848
|
| 938 |
|
|
|a ebrary
|b EBRY
|n ebr10873011
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 11826984
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 776558
|
| 994 |
|
|
|a 92
|b IZTAP
|
