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
Springer-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004 ed.)
Yves Bertot
,
Pierre Casteran
R
3,578
Add to Cart
Ships in 10 - 15 working days
Logic, Algebra, and Computation - International Summer School (Paperback, Softcover reprint of the original 1st ed. 1991)
R
3,089
Add to Cart
Ships in 10 - 15 working days
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Paperback, Softcover reprint of hardcover 1st ed. 2004)
Yves Bertot
,
Pierre Casteran
R
2,551
Add to Cart
Ships in 10 - 15 working days
Fundamentals of Artificial Intelligence - An Advanced Course (Paperback, 1986 ed.)
Wolfgang Bibel
,
A. W. Biermann
,
J. P. Delgrande
,
G. Huet
,
Philippe Jorrand
,
J. Mylopoulos
,
E. Shapiro
,
M. E Stickel
R
1,700
Add to Cart
Ships in 10 - 15 working days