An order-sorted logic for knowledge representation systems

Schmitt, Peter H.; Beierle, Christoph; Hedtstueck, U.; Pletat, U.; Siekmann, J.

Seitenaufrufe: 16
seit 10.05.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Buch
Publikationsjahr	1990
Sprache	Englisch
Identifikator	KITopen-ID: 205990
Erscheinungsvermerk	Stuttgart: IBM 1990. (IWBS report. 113.)