MayDay Sale → Spar op til 60 %
Alle 1 Matthias Horbach-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
![Cover for Matthias Horbach · Superposition-based Decision Procedures for Minimal Models: First-order Theorem Proving for Fixed Domain and Minimal Model Validity (Paperback Bog) [Annotated edition] (2011)](https://imusic.b-cdn.net/images/item/original/023/9783838128023.jpg?matthias-horbach-2011-superposition-based-decision-procedures-for-minimal-models-first-order-theorem-proving-for-fixed-domain-and-minimal-model-validity-paperback-bog&class=scaled&v=1408615951)