All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
A K Peters Ltd
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 3 of 3 Results in All Departments
Relevance
Symbolic Computation and Automated Reasoning - The CALCULEMUS-2000 Symposium (Hardcover)
R
2,647
Add to Cart
Ships in 12 - 17 working days
Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings (Paperback, 2007 ed.)
R
1,621
Add to Cart
Ships in 10 - 15 working days
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Paperback, 2015 ed.)
R
2,714
Add to Cart
Ships in 10 - 15 working days