Rechnerunterstuetzte Analyse von induktiven Beweisen

01.06.2007 - 31.12.2009
Research funding project
In diesem Projekt wird Beweisanalyse mittels Resolution von induktiven Beweisen ausgefuehrt

People

Project leader

Project personnel

Institute

Förderungmittel

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

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
induktive Beweiseinductive proofs
Resolutionresolution
Beweisanalyseproof analysis

Publications