Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Incollection1041

Aus Aifbportal

Wechseln zu: Navigation, Suche


Automatisiertes Schließen mit formalen Begriffen: Implementierung




Veröffentlicht: Oktober 2005
Herausgeber: Pascal Hitzler and Gudrun Kalmbach
Buchtitel: Begabtenförderung im MINT-Bereich Band 12
Seiten: 57-62
Verlag: Aegis-Verlag, Ulm
BibTeX

ISBN: 3-87005-067-5



Forschungsgruppe

Web Science und Wissensmanagement