Fachartikel
Partial and nested recursive function definitions in higher-order logic
Jahresbericht des Departments für Informatik der Universität Erlangen-Nürnberg, 2008 (Josef Adersberger)
Josef Adersberger ist Managing Director der QAware. Er hat QAware 2005 mitgegründet – unmittelbar nach dem Studium der Informatik, während[...]
Mehr Informationen