Kirjat Matthias Horbach
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Superposition-based Decision Procedures for Minimal Models: First-order Theorem Proving for Fixed Domain and Minimal Model Validity
97,04 €
129,38 €
-25% koodilla BOOKS
Toimittajalla varastossa