Automated theorem proving /

Bibliographic Details
Main Author:	Bibel, W., 1938-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Braunschweig : F. Vieweg, 1987.
Edition:	Second revised edition.
Series:	Artificial intelligence (Braunschweig, Germany)
Subjects:	Automatic theorem proving. Théorèmes > Démonstration automatique. Automatisches Beweisverfahren. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online