BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Automated Reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: Proceedings

by Rajeev Gore, Alexander Leitsch, Tobias Nipkow

ISBN 3540422544 / 9783540422549 / 3-540-42254-4
Publisher Springer
Country Germany
Language English
Edition Softcover
Find All Copies

 


Find collectible copies of 'Automated Reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: Proceedings'