Matthias Horbach grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Superposition-based Decision Procedures for Minimal Models: First-order Theorem Proving for Fixed Domain and Minimal Model Validity
90,57 €
129,38 €
-30% ar kodu BOOKS
Piegādātāja noliktavā