CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Ger...
Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Ger... by Tinelli, Cesare, Sofronie-S... ISBN: 9783642243639 List Price: $72.00
$64.90 (Save 9%)
2.
Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, WrocÅ...
Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, WrocÅ... by Bjørner, Nikolaj, Sofronie... ISBN: 9783642224379 List Price: $107.00
$51.31 (Save 52%)
3.
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1...
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1... by Peltier, Nicolas, Sofronie-... ISBN: 9783030510732 List Price: $99.99
$83.02 (Save 16%)
4.
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1...
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1... by Peltier, Nicolas, Sofronie-... ISBN: 9783030510534 List Price: $89.99
$73.96 (Save 17%)