Christian FERMÜLLER

project number
J-1103

project title
Automatische Modellbildung für nicht-klassische Logiken

research place
Technische Universität Wien
Institut für Computersprachen

duration
01.10.1995 to 30.09.1996

back to overview