• 

  Introduction to Computational Logic: Lecture Notes

  http://www.ps.uni-sb.de/courses/cl-ss04/script/index.html

  Keine Beschreibung vorhanden.

• 

  TU Berlin: Prof. Dr. Bernd Mahr

  https://www.wissensforschung.tu-berlin.de/menue/ueber_uns/teilbereichsleiter/prof_dr_bernd_mahr/

  Keine Beschreibung vorhanden.

• 

  Fakultät IV Elektrotechnik und Informatik: Nachrufe

  https://web.archive.org/web/20151222015124/http://www.tu-berlin.de/?id=125058

  Keine Beschreibung vorhanden.

---

---