Rechnerunterstuetzte Analyse von induktiven Beweisen

01.06.2007 - 31.12.2009
Forschungsförderungsprojekt
In diesem Projekt wird Beweisanalyse mittels Resolution von induktiven Beweisen ausgefuehrt

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Förderungsmittel

  • Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National) Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Fördergeber Typ Forschungsförderungsinstitutionen

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
induktive Beweiseinductive proofs
Resolutionresolution
Beweisanalyseproof analysis