Superposition-based Decision Procedures for Minimal Models
89.90 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
Galaxus.de
Superposition-based Decision Procedures for Minimal Models, Fachbücher
Galaxus.de
08-06-2026 09:49:50
