Automated reasoning with Otter
By: John Arnold Kalman ; with a foreword by Larry Wos.
Publisher: Rinton Press
Published: 2001
Place of publication: Princeton, N.J
Language: eng
Number of pages: 536
Subjects: Otter (Computer file); Automatic theorem proving.; Artificial intelligence.; Computer programming.
Notes: Includes index.