Deduction systems in artificial intelligence
By: editors Karl Hans Bläsius, Hans-Jürgen Bürckert.
Contributors: Bläsius, K. H.; Bürckert, H.-J.
Series: Ellis Horwood series in artificial intelligence
Publisher: Ellis Horwood; Halsted Press
Published: 1989
Place of publication: Chichester; New York
Language: eng
Number of pages: 238
Subjects: Automatic theorem proving.; Artificial intelligence.
Notes: Includes bibliographical references and index.
Translation of: Deduktionssysteme.