|
|
|
|
| LEADER |
00660nam a2200169 a 4500 |
| 001 |
972919 |
| 005 |
20171111231439.0 |
| 008 |
030724s2001 nyu 1 eng |
| 020 |
|
|
|a 0387950753
|
| 050 |
|
0 |
|a QA76.9.A96
|b N49 2001
|
| 100 |
1 |
|
|a Newborn, Monty
|
| 245 |
1 |
0 |
|a Automated theorem proving :
|b theory and practice /
|c Monty Newborn.
|
| 260 |
|
|
|a New York :
|b Springer,
|c c2001.
|
| 300 |
|
|
|a xiii, 231 p. :
|b ill ;
|c 24 cm. +
|e 1 computer laser optical disc (4 3/4 in.).
|
| 504 |
|
|
|a Includes bibliographical references (p. [207]-210) and index.
|
| 650 |
|
0 |
|a Automatic theorem proving
|
| 952 |
|
|
|a GRHeTEI
|b 59ccc69f6c5ad13446084ef4
|c 998a
|d 945l
|e QA76.9.A96 N49 2001
|t 6
|x m
|z Books
|
