CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Ta...
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Ta... by Galmiche, Didier, Carbonell... ISBN: 9783540629207 List Price: $81.95
$52.33 (Save 36%)
2.
Automated Reasoning with Analytic Tableaux and Related Methods : 22th International Conferen...
Automated Reasoning with Analytic Tableaux and Related Methods : 22th International Conferen... by Galmiche, Didier, Larchey-W... ISBN: 9783642405365 List Price: $79.99
$46.78 (Save 41%)
3.
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17...
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17... by Galmiche, Didier, Schulz, S... ISBN: 9783319942049 List Price: $109.99
$51.31 (Save 53%)
4.
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier ISBN: 9783662173473 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Automated Reasoning with Analytic Tableaux and Related Methods : 22th International Conferen...
Automated Reasoning with Analytic Tableaux and Related Methods : 22th International Conferen... by Galmiche, Didier, Larchey-W... ISBN: 9783642405389 List Price: $24.99

OUT OF STOCK

See Availability on Amazon