|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
mig00004368868 |
| 005 |
19990601142751.5 |
| 008 |
831019s1984 njua b 001 0 eng |
| 010 |
|
|
|a 83022968
|
| 020 |
|
|
|a 0130544469 (pbk.)
|
| 020 |
|
|
|a 0130544531
|
| 035 |
|
|
|a (OCoLC)10099218
|
| 035 |
|
|
|a (WaOLN)mts0319012
|
| 035 |
0 |
0 |
|a ocm10099218
|
| 039 |
0 |
|
|a 2
|b 3
|c 3
|d 3
|e 3
|
| 040 |
|
|
|a DLC
|c DLC
|d TXM
|
| 049 |
|
|
|a TXMM
|
| 050 |
0 |
|
|a QA76.9.A96
|b A93 1984
|
| 082 |
0 |
|
|a 001.53/5
|2 19
|
| 090 |
|
|
|a QA76.9.A96
|b A93 1984
|
| 245 |
0 |
0 |
|a Automated reasoning :
|b introduction and applications /
|c Larry Wos ... [et al.].
|
| 260 |
|
|
|a Englewood Cliffs, N.J. :
|b Prentice-Hall,
|c c1984.
|
| 300 |
|
|
|a xiv, 482 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 590 |
|
|
|a 85-07887
|
| 650 |
|
0 |
|a Automatic theorem proving.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Computer programming.
|
| 700 |
1 |
|
|a Wos, Larry.
|
| 907 |
|
|
|a 1250869
|b 02-25-21
|c 05-24-10
|
| 998 |
|
|
|a w
|b 05-24-10
|c m
|d a
|e -
|f eng
|g nju
|h 0
|i 1
|
| 935 |
|
|
|a 334030
|
| 921 |
|
|
|a 001.535
|b Au82
|
| 945 |
|
|
|a QA76.9.A96
|b A93 1984
|g 1
|i 33082000005644
|j 0
|l w2
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 2
|v 0
|w 0
|x 0
|y .i15140398
|z 05-25-10
|
| 999 |
f |
f |
|i 78c3b7e3-b03b-43c5-958c-209afa2d1267
|s f75852a4-234e-4238-8e0e-e5a8412ca3ef
|t 0
|
| 952 |
f |
f |
|p Circulating
|a Middle Tennessee State University
|b Main
|c James E. Walker Library
|d Main Collection - Walker Library - 2nd Floor
|t 0
|e QA76.9.A96 A93 1984
|h Library of Congress classification
|i Book
|m 33082000005644
|n 1
|
