Prof. Dr. rer. nat. Jürgen Avenhaus - Forschungsprojekte

Lernen von Suchheuristiken beim Theorembeweisen
Avenhaus, Jürgen; (1996 - 1998)

Entwicklung des hierarchischen parallelen Termersetzungssystems Teamwork-PaReDux
Avenhaus, Jürgen;