All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Promotions
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Diplom.de
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 3 of 3 Results in All Departments
Relevance
SAVE
R
2,375
Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Paperback, 2009 ed.)
List Price
R
2,997
R
622
Out of Stock
Out of stock
SAVE
R
1,333
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Paperback, 1st ed. 2015)
List Price
R
2,630
R
1,297
Out of Stock
Out of stock
SAVE
R
133
AEhnlichkeitssuche in der Lost Art Internet Database (German, Paperback)
Christian Urban
List Price
R
2,280
R
2,147
Out of Stock
Out of stock