KIT | KIT-Bibliothek | Impressum

Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen

Hitzler, P.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 2005
Sprache Deutsch
Identifikator ISBN: 3-87005-067-5
KITopen ID: 1000018383
Erschienen in Festschrift für Monsignore Otto Baumgärtner anläßlich seines 75. Geburtstages. Hrsg.: P. Hitzler
Verlag Aegis-Verl., Ulm
Seiten 49 - 56
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page