Automated Reasoning

by Furbach, Ulrich

Available Copies

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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
No image available

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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