Automated Reasoning: 4th Inteational Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in .. / Lecture Notes in Artificial Intelligence)
Hardcover: 556 pages
Publisher: Springer (July 25, 2008)
Language: English
ISBN-10: 3540710698