Konsistenzpruefung in wissensbasierten Systemen

Angele, Juergen [Hrsg.]; Studer, Rudi [Hrsg.]

Seitenaufrufe: 47
seit 25.05.2018

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Buch
Publikationsjahr	1992
Sprache	Deutsch
Identifikator	KITopen-ID: 60892
Erscheinungsvermerk	Karlsruhe 1992. (Bericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 239.)