CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conferenc...
Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conferenc... by Heule, Marijn, Weaver, Sean ISBN: 9783319243177 List Price: $95.00
$64.90 (Save 31%)
2.
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3...
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3... by Benzm�ller, Christoph, Heul... ISBN: 9783031635007 List Price: $79.99
$73.96 (Save 7%)
3.
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3...
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3... by Benzm�ller, Christoph, Heul... ISBN: 9783031634970 List Price: $74.99
$42.25 (Save 43%)