KLM's Abschlüsse K-cum und K-pref versus LM's rationalen Abschluß K-rat Theorie und Implementierung ; Praktikum SS 91

Bibliographische Detailangaben

Körperschaft:	Universität Karlsruhe Institut für Logik, Komplexität und Deduktionssysteme (BerichterstatterIn)
Weitere Verfasser:	Dix, J. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Karlsruhe 1991
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!