Automated Reasoning
by Furbach, Ulrich
Available Copies
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by Ulrich Furbach
- Condition
- New
- ISBN
- 9783540371878
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
€113.00
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Item Price
€113.00
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
by Furbach, Ulrich [Editor]; Shankar, Natarajan [Editor];
- Condition
- Used - Very Good
- Published
- 2007-06-04
- Binding
- Paperback
- ISBN
- 9783540371878
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
€26.32
Show Details
Description:
Springer, 2007-06-04. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Item Price
€26.32