Modeling the unknown using quantification

Christian Miller. Modeling the unknown using quantification. PhD thesis, University of Freiburg, 2014. [doi]

Abstract

Abstract is missing.