Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Ueber Schemata und Beweise
01.01.2010 - 31.12.2012
Forschungsförderungsprojekt
Untersuchung von Formel- und Beweisschematisierungen und ihre Anwendung in der mathematischen Praxis.
Personen
Projektleiter_in
Alexander Leitsch
(E185)
Projektmitarbeiter_innen
Tsvetan Dunchev
(E185)
Mikheil Rukhaia
(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
Schlagwörter
Deutsch
Englisch
Schemata
schemata
Beweisanalyse
proof analysis
Externe Partner_innen
Institut National Polytechnique de Grenoble
Publikationen
Publikationsliste