01046cam a2200325 a 4500 12695673 BD-DhUL 20140725141328.0 140724s2001 nju 001 0 eng 2002277409 1589490045 (OCoLC)ocm47822659 ATT ATT DLC BD-DhUL lccopycat QA76.9.A96 K35 2001 005.13 21 KAA Kalman, John Arnold. Automated reasoning with Otter / John Arnold Kalman ; with a foreword by Larry Wos. Princeton, N.J. : Rinton Press, c2001. xv, 536 p. ; 27 cm. + 1 CD-ROM (4 3/4 in.) USD 83.66 Includes index. Otter (Computer file) Automatic theorem proving. Artificial intelligence. Computer programming. 7 cbc copycat 2 ncip 20 y-gencatlg ddc BK ps10 2002-03-08 to ASCD jf00 2002-03-12 jg12 2002-07-31 aa05 2002-09-16 720 720 0 0 ddc 0 005_130000000000000_KAA 0 NFIC 1191 DUSL DUSL GEN 2012-09-24 Purchased 005.13 KAA 475202 2014-07-25 2014-07-25 BK