Automated reasoning
Subtitle: introduction and applications
By: Larry Wos ... [et al.].
Contributors: Wos, Larry.
Publisher: Prentice-Hall
Published: 1984
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 482
Subjects: Automatic theorem proving.; Artificial intelligence.; Computer programming.
Notes: Includes bibliographical references and index.