Prof. Dr. Susanne Biundo-Stephan - Universität Ulm

http://www.uni-ulm.de/in/ki/inst/staff/susanne-biundo/

Keine Beschreibung vorhanden.

Kulturwissenschaften  -  Prof. Dr. Hagengruber (Universität Paderborn)

http://kw1.uni-paderborn.de/institute-einrichtungen/institut-fuer-humanwissenschaften/philosophie/personal/hagengruber/home/

Keine Beschreibung vorhanden.

Franz Baader — Professur für Automatentheorie — TU Dresden

http://lat.inf.tu-dresden.de/~baader/

Informationen zur Lehre  Forschungsthemen  Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik)  Automatisches Beweisen (inbesondere Termersetzung und …

http://www.ti.inf.uni-due.de/publications/author-koenig.shtml

Keine Beschreibung vorhanden.