• 

  Deduktionssysteme

  http://www.dfki.de/~hjb/Deduktionssysteme/

  Keine Beschreibung vorhanden.

• 

  Animation strukturierter Beweise in der universitären Ausbildung [online]

  http://digbib.ubka.uni-karlsruhe.de/volltexte/126799

  Keine Beschreibung vorhanden.

• 

  Weblinksuche – nach Namensräumen eingrenzbar

  https://tools.wmflabs.org/giftbot/weblinksuche.fcgi?namespace=0&target=http://www.dfki.de/%25

  Keine Beschreibung vorhanden.

• 

  Homepage of Christoph Benzmueller

  http://page.mi.fu-berlin.de/cbenzmueller/

  Keine Beschreibung vorhanden.

---

---