• 

  Meine Studienarbeit

  http://wayback.archive.org/web/20120315040903/http://www.stefan-baur.de/priv.studies.studienarbeit.html

  Meine Studienarbeit realisiert einen Beweiser für die Presburger Arithmetik.

• 

  Natürliche Roboter

  http://www.storyal.de/Story-2013/Roboter.html

  Überlegungen zu natürlichen Roboter

---

---