Christian FERMÜLLER

Projekt-Nummer
J-1103

Projekt-Titel
Automatische Modellbildung für nicht-klassische Logiken

Forschungsstätte
Technische Universität Wien
Institut für Computersprachen

Laufzeit
01.10.1995 bis 30.09.1996

Zurück zur Übersicht