Interactive Theorem Proving
Die Konferenzband‑Sammlung beleuchtet interaktive Theorembeweise aus neuen Blickwinkeln: algorithmische Optimierungen, verteilte Logiksysteme und praktische Einsatzszenarien in der KI‑Entwicklung – ein wertvoller Leitfaden für Akademiker und Entwickler.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Interactive Theorem Proving, Fachbücher von Jeremy Avigad, Assia Mahboubi
Galaxus.de
23-04-2026 15:00:13
Ähnliche Produkte
Interactive Theorem Proving
52.94 EUR
Interactive Theorem Proving
42.79 EUR
Interactive Theorem Proving
42.79 EUR