Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "131845098"
im Bestand: Gesamter Bestand

181 - 189 von 189

	181	Augmenting concept languages by transitive closure of roles Baader, Franz. - Kaiserslautern : DFKI, 1990
	182	Concept logics Kaiserslautern : DFKI, 1990
	183	Knowledge representation and inference system / System description 1990
	184	Terminological cycles in KL-one-based knowledge representation languages Baader, Franz. - Kaiserslautern : DFKI, 1990
	185	Terminological knowledge representation Kaiserslautern : DFKI, 1990
	186	Unifikation und Reduktionssysteme für Halbgruppenvarietäten Baader, Franz. - Erlangen : Inst. für Math. Maschinen und Datenverarbeitung (Informatik), 1989
	187	Die S-Varietät DS und einige Untervarietäten Baader, Franz. - Erlangen : Inst. für Math. Maschinen u. Datenverarbeitung (Informatik), 1985
	188	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains Enthalten in Journal of automated reasoning Bd. 66, 4.5.2022, Nr. 3, date:8.2022: 357-407
	189	Baader, Franz 1959- / Informatiker