Superposition-based Decision Procedures for Minimal Models
89.99 EUR
Ein einflussreiches Buch, das die Verbindung zwischen Superpositionstheorie und Minimalmodellentscheidungen beleuchtet, praktische Beweisverfahren für feste Domänen vorstellt und theoretische Tiefe bietet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Hugendubel
Superposition-based Decision Procedures for Minimal Models
Hugendubel
04-11-2026 01:15:14
Ähnliche Produkte
Quantum Superposition
85.49 EUR
