Automated theorem proving
By: Wolfgang Bibel.
Publisher: F. Vieweg
Published: 1982
Place of publication: Braunschweig
Language: eng
Number of pages: 292
Subjects: Automatic theorem proving.
Notes: Bibliography: p. [277]-287.
Includes index.