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 …

https://web.archive.org/web/20090227181737/http://www.uni-saarland.de/fak5/krause/emo/vorlesun/l1/start.htm

Keine Beschreibung vorhanden.

Debian Project Leader report for 2005-07-07

http://lists.debian.org/debian-devel-announce/2005/07/msg00002.html

Keine Beschreibung vorhanden.