The resolution calculus /

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The first part deals with the traditional topics (Herbrand's theorem, completeness of resolution, refinements and deletion) but with many new features a...

Full description

Bibliographic Details

Main Author:	Leitsch, Alexander, 1952-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Texts in theoretical computer science.
Subjects:	Automatic theorem proving. théorie démonstration. raffinement. résolution problème. Théorèmes > Démonstration automatique. Résolution de problème > Informatique. Preuve, Théorie de la. Auflösungsprinzip. Automatisches Beweisverfahren. Electronic books.
Online Access:	Connect to the full text of this electronic book