Knygos pagal Matthias Horbach
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Superposition-based Decision Procedures for Minimal Models: First-order Theorem Proving for Fixed Domain and Minimal Model Validity
97,04 €
129,38 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją