|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
SCIDIR_ocn610471979 |
| 003 |
OCoLC |
| 005 |
20231117033119.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
100429s1988 mau ob 001 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d OCLCF
|d OPELS
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d LUN
|d OCLCQ
|d OCLCO
|d HNC
|d OCLCQ
|
| 019 |
|
|
|a 581442448
|
| 020 |
|
|
|a 9780121229528
|q (electronic bk.)
|
| 020 |
|
|
|a 0121229521
|q (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)610471979
|z (OCoLC)581442448
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA76.9.A96
|b B684 1988eb
|
| 082 |
0 |
4 |
|a 511.3
|2 19
|
| 084 |
|
|
|a 31.10
|2 bcl
|
| 084 |
|
|
|a 54.10
|2 bcl
|
| 100 |
1 |
|
|a Boyer, Robert S.
|
| 245 |
1 |
2 |
|a A computational logic handbook /
|c Robert S. Boyer, J Strother Moore.
|
| 260 |
|
|
|a Boston :
|b Academic Press,
|c �1988.
|
| 300 |
|
|
|a 1 online resource (xvi, 408 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 Perspectives in computing ;
|v vol. 23
|
| 504 |
|
|
|a Includes bibliographical references (pages 397-399) and index.
|
| 505 |
0 |
0 |
|g Part I: The Logic.
|t 1 - Introduction --
|t 2 - A Primer for the Logic --
|t 3 - Formalization Within the Logic --
|t 4 - A Precise Description of the Logic --
|t 5 - Proving Theorems in the Logic
|g Part II: Using the System.
|t 6 - Mechanized Proofs in the Logic --
|t 7 - An Introduction to the System --
|t 8 - A Sample Session with the Theorem Prover --
|t 9 - How to Use the Theorem Prover --
|t 10 - How the Theorem Prover Works --
|t 11 - The Four Classes of Rules Generated from Lemmas --
|t 12 - Reference Guide --
|t 13 - Hints on Using the Theorem Prover --
|t 14 - Installation Guide --
|t Appendix I - A Parser for the Syntax --
|t Appendix II - The Primitive Shell Axioms --
|t Appendix III - On the Difficulty of Proofs --
|t References --
|t Index --
|t Perspectives in Computing.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record.
|
| 650 |
|
0 |
|a Automatic theorem proving.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
6 |
|a Th�eor�emes
|x D�emonstration automatique.
|0 (CaQQLa)201-0031979
|
| 650 |
|
6 |
|a Logique symbolique et math�ematique.
|0 (CaQQLa)201-0001166
|
| 650 |
|
7 |
|a Automatic theorem proving.
|2 fast
|0 (OCoLC)fst00822777
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 (OCoLC)fst01002068
|
| 650 |
1 |
7 |
|a Logica.
|2 gtt
|
| 650 |
1 |
7 |
|a Automatische bewijsvoering.
|2 gtt
|
| 650 |
|
7 |
|a Th�eor�emes
|x D�emonstration automatique.
|2 ram
|
| 650 |
|
7 |
|a Logique symbolique et math�ematique.
|2 ram
|
| 700 |
1 |
|
|a Moore, J Strother,
|d 1947-
|
| 776 |
0 |
8 |
|i Print version:
|a Boyer, Robert S.
|t Computational logic handbook.
|d Boston : Academic Press, �1988
|w (DLC) 88022175
|w (OCoLC)18191851
|
| 830 |
|
0 |
|a Perspectives in computing (Boston, Mass.) ;
|v vol. 23.
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9780121229528
|z Texto completo
|
