The automation of reasoning
Subtitle: an experimenter's notebook with OTTER tutorial
By: Larry Wos.
Publisher: Academic Press
Published: 1996
Place of publication: San Diego
Language: eng
Number of pages: 443
Subjects: Otter (Computer file); Automatic theorem proving.; Artificial intelligence.; Computer programming.
Description: This book presents some of the insights, judgements, opinions, and experiences gleaned from more than 30 years of research in automated reasoning. The style and organization are those of an experimenter's notebook, featuring both successes and failures resulting from numerous experiments with one of the world's most powerful software packages for automated reasoning, Bill McCune's OTTER.
Notes: Includes bibliographical references (p. 419-421) and index.
System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory.