Köln Fenerbahçeliler Derneği 1997 | Facebook

https://archive.today/20120713175727/http://fenerbahce.de/site_icerik/index.php?option=com_content&task=view&id=57&Itemid=99

Keine Beschreibung vorhanden.

Wikidata – International Center for Computational Logic

https://ddll.inf.tu-dresden.de/web/Wikidata

Keine Beschreibung vorhanden.

Prof. Dr. Klaus Röhrborn (Emeritus) - Georg-August-Universität Göttingen

http://www.uni-goettingen.de/de/99900.html

Webseiten der Georg-August-Universität Göttingen

Einführung in Wikidata – International Center for Computational Logic

https://ddll.inf.tu-dresden.de/web/Wikidata/Juni_2015

Keine Beschreibung vorhanden.

Christian Diemer | Werkliste

http://www.christiandiemer.de/werkliste

Werkliste und Verlagsinformationen.

http://www.s-u-a.de/mitglieder_inhalt.html

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 …