Automated reasoning
Subtitle: introduction and applications
By: Larry Wos ... [et al.].
Contributors: Wos, Larry.
Edition: 2nd ed.
Publisher: McGraw-Hill
Published: 1992
Place of publication: New York
Language: eng
Number of pages: 656
Subjects: Automatic theorem proving.; Artificial intelligence.; Computer programming.
Notes: Includes bibliographical references and index.
System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.