First-order calculi and proof procedures for automated deduction

Dissertation, Technische Hochschule Darmstadt, 1993

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Letz, Reinhold (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 1993
Schlagworte:
Hochschulschrift > Automatisches Beweisverfahren > Prädikatenlogik > Stufe 1
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Dissertation, Technische Hochschule Darmstadt, 1993
Beschreibung:Zusammenfassung in deutscher Sprache
Beschreibung:195 Seiten
graphische Darstellungen