| 000 | 01046cam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | 12695673 | ||
| 003 | BD-DhUL | ||
| 005 | 20140725141328.0 | ||
| 008 | 140724s2001 nju 001 0 eng | ||
| 010 | _a 2002277409 | ||
| 020 | _a1589490045 | ||
| 035 | _a(OCoLC)ocm47822659 | ||
| 040 |
_aATT _cATT _dDLC _dBD-DhUL |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.9.A96 _bK35 2001 |
| 082 | 0 | 0 |
_a005.13 _221 _bKAA |
| 100 | 1 | _aKalman, John Arnold. | |
| 245 | 1 | 0 |
_aAutomated reasoning with Otter / _cJohn Arnold Kalman ; with a foreword by Larry Wos. |
| 260 |
_aPrinceton, N.J. : _bRinton Press, _cc2001. |
||
| 300 |
_axv, 536 p. ; _c27 cm. + _e1 CD-ROM (4 3/4 in.) |
||
| 365 |
_aUSD _b83.66 |
||
| 500 | _aIncludes index. | ||
| 630 | 0 | 0 | _aOtter (Computer file) |
| 650 | 0 | _aAutomatic theorem proving. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aComputer programming. | |
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 955 |
_aps10 2002-03-08 to ASCD _ajf00 2002-03-12 _ijg12 2002-07-31 _aaa05 2002-09-16 |
||
| 999 |
_c720 _d720 |
||