The resolution calculus

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Leitsch, Alexander (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1997
Schriftenreihe:	Texts in theoretical computer science
Schlagworte:	Automatisches Beweisverfahren > Auflösungsprinzip
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references (p. [289] - 293) and index
Beschreibung:	VIII, 300 S graph. Darst
ISBN:	3540618821 3-540-61882-1