Raamatud Matthias Horbach
Valikule vastavaid tooteid ei leitud.
-30%
Superposition-based Decision Procedures for Minimal Models: First-order Theorem Proving for Fixed Domain and Minimal Model Validity
90,57 €
129,38 €
-30% koodiga BOOKS
Meie tarnija laos