Automated reasoning with Otter
Kalman, John Arnold.
creator
text
nju
Princeton, N.J
Rinton Press
c2001
2001
monographic
eng
xv, 536 p. ; 27 cm. + 1 CD-ROM (4 3/4 in.)
John Arnold Kalman ; with a foreword by Larry Wos.
Includes index.
Otter (Computer file)
Automatic theorem proving
Artificial intelligence
Computer programming
QA76.9.A96 K35 2001
005.13 KAA
1589490045
2002277409
ATT
140724
20140725141328.0
12695673