Fachartikel

Partial recursive functions in higher-order logic

In: Ulrich Furbach and Natarajan Shankar, editors, Automated Reasoning (IJCAR 2006) (Alexander Krauss) PDF

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]