Publications
2004
Nachfragende und konzeptbasierte Metainterpreter in Prolog Informal Publications
2004, (Praktikum "Neuronale Netze und fallbasiertes Schließen").
Go and AI Informal Publications
2004, (seminar "Game Playing Computers and Artificial Intelligence").
2003
Das SMV-System Informal Publications
2003, (Proseminar Modale Logik).