ISBN 9783540422549 books & textbook
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083)
Gore, Rajeev Leitsch, Alexander Nipkow, Tobias
Springer /2001-06-06 Paperback / 725 Pages
isbn-10: 3540422544 / isbn-13: 9783540422549
