Completeness and confluence properties of Kowalski's clause graph calculus

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Smolka, Gert (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Karlsruhe Fak. f. Informatik, Univ. 1982
Schriftenreihe:	Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 82/31
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!