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.)
Includes index.
1589490045
2002277409
Otter (Computer file)
Automatic theorem proving.
Artificial intelligence.
Computer programming.
QA76.9.A96 / K35 2001
005.13 / KAA
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.)
Includes index.
1589490045
2002277409
Otter (Computer file)
Automatic theorem proving.
Artificial intelligence.
Computer programming.
QA76.9.A96 / K35 2001
005.13 / KAA