Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  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


Forschungsgebiet