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
Springer
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 8 of 8 Results in All Departments
Relevance
Automated Model Building (Hardcover, 2004 ed.)
Ricardo Caferra
,
Alexander Leitsch
,
Nicolas Peltier
R
4,560
Add to Cart
Ships in 12 - 17 working days
Methods of Cut-Elimination (Hardcover, 2011)
Matthias Baaz
,
Alexander Leitsch
R
3,186
Add to Cart
Ships in 10 - 15 working days
Methods of Cut-Elimination (Paperback, 2011 ed.)
Matthias Baaz
,
Alexander Leitsch
R
3,004
Add to Cart
Ships in 10 - 15 working days
The Resolution Calculus (Paperback, Softcover reprint of the original 1st ed. 1997)
Alexander Leitsch
R
1,586
Add to Cart
Ships in 10 - 15 working days
Automated Model Building (Paperback, Softcover reprint of hardcover 1st ed. 2004)
Ricardo Caferra
,
Alexander Leitsch
,
Nicolas Peltier
R
4,577
Add to Cart
Ships in 10 - 15 working days
Automated Reasoning - First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Paperback, 2001 ed.)
R
3,376
Add to Cart
Ships in 10 - 15 working days
Computational Logic and Proof Theory - 5th Kurt Goedel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Paperback, 1997 ed.)
R
1,724
Add to Cart
Ships in 10 - 15 working days
Computational Logic and Proof Theory - Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Paperback, 1993 ed.)
R
1,730
Add to Cart
Ships in 10 - 15 working days