Books by Matthias Horbach
No products found matching the selection.
-20%
Superposition-based Decision Procedures for Minimal Models: First-order Theorem Proving for Fixed Domain and Minimal Model Validity
€103.50
€129.38
-20% with code BOOKS
In stock at our supplier