Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Automatische Analyse Mathematischer Beweise
01.02.2005 - 20.05.2007
Forschungsförderungsprojekt
Personen
Projektleiter_in
Univ.-Prof. i.R. Dr.phil. Alexander Leitsch
(E185)
Projektmitarbeiter_innen
Univ.Prof.in Dr.in Agata Ciabattoni
(E185)
Dr.techn. Clemens Richter
(E185)
Associate Prof. Dipl.-Ing. Dr.techn. Stefan Hetzl BSc
(E185)
Dipl.-Ing. Hendrik Spohr
(E185)
Institut
E185 - Institut für Computersprachen
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Information and Communication Technology