First order calculi and proof procedures for automated deduction

Darmstadt, Techn. Hochsch., Diss., 1993

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Letz, Reinhold
Format:	UnknownFormat
Sprache:	ger
Schlagworte:	Automatisches Beweisverfahren > Prädikatenlogik > Stufe 1
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Darmstadt, Techn. Hochsch., Diss., 1993
Beschreibung:	195 S. graph. Darst.