• 

  Ferdinand Von Galitzien: "La Vocation D'André Carel" (1925) By Jean Choux

  http://ferdinandvongalitzien.blogspot.de/2006/09/la-vocation-dandr-carel-1925-by-jean.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 …

---

---