Automated reasoning : introduction and applications /
Wos, Larry.
New York ; London : McGraw-Hill,
c1992.
System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
Includes bibliographical references and index.
Automatic theorem proving.
Artificial intelligence.
Electronic digital computers