CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton'...
Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton'... by Fleuriot, Jacques ISBN: 9781852334666 List Price: $159.00
$103.17 (Save 35%)
2.
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, Septe...
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, Septe... by Ida, Tetsuo, Fleuriot, Jacques ISBN: 9783642406713 List Price: $69.99
$46.78 (Save 33%)
3.
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newto...
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newto... by Jacques Fleuriot ISBN: 9781447110415 List Price: $189.00
$101.14 (Save 46%)
4.
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018,...
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018,... by Fleuriot, Jacques, Wang, Do... ISBN: 9783319999562 List Price: $69.99
$51.31 (Save 26%)
5.
Automated Deduction in Geometry : 9th International Workshop, Adg 2012, Edinburgh, UK, Septe...
Automated Deduction in Geometry : 9th International Workshop, Adg 2012, Edinburgh, UK, Septe... by Ida, Tetsuo, Fleuriot, Jacques ISBN: 9783642406737 List Price: $24.99

OUT OF STOCK

See Availability on Amazon