KIT | KIT-Bibliothek | Impressum

Automatisiertes Schließen mit formalen Begriffen: Implementierung

Hitzler, P.; Fritsche, K.



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: 1000018379
Erschienen in Festschrift für Monsignore Otto Baumgärtner anläßlich seines 75. Geburtstages. Hrsg.: P. Hitzler
Verlag Aegis-Verl., Ulm
Seiten 57 - 62
Serie Begabtenförderung im MINT-Bereich ; 12
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page