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
Cambridge UniversityPress
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 5 of 5 Results in All Departments
Relevance
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Paperback)
R
1,612
Add to Cart
Ships in 10 - 15 working days
Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Paperback, 2003 ed.)
R
1,711
Add to Cart
Ships in 10 - 15 working days
Type Theory and Formal Proof - An Introduction (Hardcover)
Rob Nederpelt
,
Herman Geuvers
R
2,055
Add to Cart
Ships in 12 - 17 working days
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Paperback, 1st ed. 2017)
R
2,751
Add to Cart
Ships in 10 - 15 working days
Logic Colloquium 2006 (Hardcover, New)
R
3,803
Add to Cart
Ships in 12 - 17 working days