Fachartikel
Partial recursive functions in higher-order logic
OBJEKTspektrum, August 2019 (Christian Kamm, Johannes Weigend, Josef Adersberger)
Christian Kamm ist Managing Director der QAware. Er hat seit 2009 die strategische Ausrichtung der QAware maßgeblich geprägt. Nach seinem[...]
Mehr Informationen