|
|
|
|
| LEADER |
00000cam a2200000xa 4500 |
| 001 |
b10334286 |
| 003 |
CoU |
| 005 |
20190126012214.4 |
| 006 |
m o d |
| 007 |
cr ||||||||||| |
| 008 |
141220s1978 ne ob 001 0 eng d |
| 019 |
|
|
|a 654252472
|
| 020 |
|
|
|a 9781483296777
|q (electronic bk.)
|
| 020 |
|
|
|a 1483296776
|q (electronic bk.)
|
| 020 |
|
|
|a 0720404991
|
| 020 |
|
|
|a 9780720404999
|
| 035 |
|
|
|a (OCoLC)scd898422462
|
| 035 |
|
|
|a (OCoLC)898422462
|z (OCoLC)654252472
|
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d OCLCO
|d N$T
|d OCLCQ
|d OCLCE
|d OCLCF
|d OPELS
|d YDXCP
|d DEBSZ
|d OCLCQ
|d MERUC
|d IDB
|d OCLCQ
|
| 049 |
|
|
|a GWRE
|
| 050 |
|
4 |
|a QA76.9.A96
|
| 100 |
1 |
|
|a Loveland, Donald W.
|0 http://id.loc.gov/authorities/names/n82093895
|1 http://isni.org/isni/0000000354278772.
|
| 245 |
1 |
0 |
|a Automated theorem proving
|h [electronic resource] :
|b a logical basis /
|c Donald W. Loveland.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland Pub. Co. ;
|a New York :
|b Sole distributor for the U.S.A. and Canada, Elsevier North-Holland,
|c 1978.
|
| 300 |
|
|
|a 1 online resource.
|
| 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 Fundamental studies in computer science ;
|v volume 6.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (EBSCO, viewed December 30, 2014)
|
| 650 |
|
0 |
|a Automatic theorem proving.
|0 http://id.loc.gov/authorities/subjects/sh85010111.
|
| 650 |
|
7 |
|a Automatic theorem proving.
|2 fast
|0 (OCoLC)fst00822777.
|
| 776 |
0 |
8 |
|i Print version:
|a Loveland, D.W.
|t Automated Theorem Proving: A Logical Basis.
|d Burlington : Elsevier Science, ©2014
|z 9780720404999.
|
| 830 |
|
0 |
|a Fundamental studies in computer science ;
|v v. 6.
|0 http://id.loc.gov/authorities/names/n84711697.
|
| 856 |
4 |
0 |
|u https://colorado.idm.oclc.org/login?url=https://www.sciencedirect.com/science/book/9780720404999
|z Full Text (via ScienceDirect)
|
| 907 |
|
|
|a .b103342862
|b 03-19-20
|c 02-05-19
|
| 998 |
|
|
|a web
|b 02-28-19
|c b
|d b
|e -
|f eng
|g ne
|h 0
|i 1
|
| 907 |
|
|
|a .b103342862
|b 07-02-19
|c 02-05-19
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b103342862
|b 03-12-19
|c 02-05-19
|
| 915 |
|
|
|a I
|
| 956 |
|
|
|a ScienceDirect ebooks
|
| 956 |
|
|
|b ScienceDirect All Books
|
| 999 |
f |
f |
|i 4d516e6a-f6cc-5f82-ae68-6080ca9e3885
|s 69935f96-faad-5cf4-af18-ffea0e5915e6
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Online
|c Online
|d Online
|e QA76.9.A96
|h Library of Congress classification
|i web
|n 1
|
