Marktstudie: Worauf es 2025 für Unternehmen ankommt.
Kategorie Fachartikel

Partial and nested recursive function definitions in higher-order logic

 |  Alexander Krauss

In: Journal of Automated Reasoning (Alexander Krauss) PDF

Alexander Krauss

Passend zum Thema

Kategorie News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
QAware
Kategorie
Kategorie Fachartikel
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Kategorie
Kategorie Vorlesungen
Web-Frontend Entwicklung für Informatiker
Dr. Josef Adersberger
Kategorie
Kategorie Vorlesungen
Modellbasierte Softwareentwicklung
Dr. Josef Adersberger
Kategorie
Kategorie Vorlesungen
Kryptographie
Dr. Josef Adersberger
Kategorie