Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)

Name: Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Tobias Nipkow

0 - Default Title

Product details

Binding:: Paperback
Edition:: 1
Number of Pages:: 728
Release Date:: 2008-06-13
Publication Date:: 2008-06-13
Publisher:: Springer
Languages:: Published: English, Original: English
ISBN10:: 3540422544
ISBN13:: 9783540422549
GPSR Manufacturer Reference:: [email protected]
Weight:: 1043 g

Buy on Amazon

Currently sold out

Add to Wishlist