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örderungmittel

  • FWF - Österr. Wissenschaftsfonds (National) Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Schlagwörter

DeutschEnglisch
induktive Beweiseinductive proofs
Resolutionresolution
Beweisanalyseproof analysis

Publikationen