| 000 | 00330ngm a2200121 454500 | ||
|---|---|---|---|
| 082 |
_aA137039 _bA1.3 |
||
| 100 | _aNewborn, Monty | ||
| 245 | 1 |
_aAutomated theorem proving _btheory and practice |
|
| 260 |
_a _bSpringer-Verlag _c2001 |
||
| 690 | _a004.015113 N427a | ||
| 953 | _aCD-ROM accompanied with Book | ||
| 997 | _aER1137 CARS R | ||
| 999 |
_c378167 _d378167 |
||