Books by Automated Reasoning Series
No products found matching the selection.
-30%
Automated Development of Fundamental Mathematical Theories
€284.58
€406.54
-30% with code BOOKS
In stock at our supplier
-30%
Resolution Proof Systems: An Algebraic Theory
€129.35
€184.78
-30% with code BOOKS
In stock at our supplier
-30%
Resolution Proof Systems: An Algebraic Theory
€129.35
€184.78
-30% with code BOOKS
In stock at our supplier
-30%
Automated Reasoning: Essays in Honor of Woody Bledsoe
€129.35
€184.78
-30% with code BOOKS
In stock at our supplier
-30%
Piton: A Mechanically Verified Assembly-Level Language
€64.67
€92.38
-30% with code BOOKS
In stock at our supplier