Automated theorem proving
By: Wolfgang Bibel.
Edition: 2nd rev. ed.
Series: Artificial intelligence =; Künstliche Intelligenz; Artificial intelligence (Braunschweig, Germany)
Publisher: F. Vieweg
Published: 1987
Place of publication: Braunschweig
Language: eng
Number of pages: 288
Subjects: Automatic theorem proving.
Notes: Bibliography: p. [265]-280.
Includes index.