ISBN 9783540710691 books & textbook
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer Science, 5195)
Armando, Alessandro Baumgartner, Peter Dowek, Gilles
Springer /2008-07-25 Paperback / 568 Pages
isbn-10: 3540710698 / isbn-13: 9783540710691