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
Birkhauser Verlag AG
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Hardcover, 1st ed. 2023)
William M. Farmer
R
2,661
Add to Cart
Ships in 12 - 17 working days
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings (Paperback)
R
1,590
Add to Cart
Ships in 10 - 15 working days
Mathematical Knowledge Management - 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings (Paperback, 2006 ed.)
R
1,688
Add to Cart
Ships in 10 - 15 working days
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,582
Add to Cart
Ships in 10 - 15 working days