Arbeitsbereich Symbolisches Rechnen
Prof. Wolfgang Küchlin
Wilhelm-Schickard-Institut für Informatik
Universität Tübingen
Sand 14
72076 Tübingen
Deutschland