Articles
Partial recursive functions in higher-order logic
IWSM/Mensura, Oktober 2017 (Marcus Ciolkowski, Simon Faber, Sebastian von Mammen) zum Artikel
Marcus Ciolkowski is a Head of Division at QAware and is responsible for the professional and technical project success in[...]
Mehr Informationen