Automated theorem proving
By: Wolfgang Bibel
Edition: Second revised edition.
Series: Artificial intelligence = -- Künstliche Intelligenz; Artificial intelligence (Braunschweig, Germany)
Published: 1987
Language: eng
Number of pages: 288
ISBN-13: 9783322901026; 9783528185206
Subjects: Démonstration automatique; Théorèmes; Automatisches Beweisverfahren; Automatic theorem proving
Notes: Includes bibliographical references (pages 265-280) and index.

Print version record.