Archives and Documentation Center
Digital Archives

Browsing Ph.D. Theses by Subject "Automatic theorem proving."

Browsing Ph.D. Theses by Subject "Automatic theorem proving."

Sort by: Order: Results:

  • Kafalı, Remzi Özgür. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2012., 2012.)
    Exceptions constitute a signi cant portion of people's lives. When things do not go as planned, due to environmental reasons or because one does not bring about his responsibility in a given task, unexpected situations ...

Search Digital Archive


Browse

My Account