Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings

by Gilles Dowek and Peter Baumgartner

ThisvolumecontainsthepaperspresentedatIJCAR2008, the4thInternational Joint Conference on Automated Reasoning, held August 12-15, 2008, in S- ney (Australia). The IJCAR conference series is aimed at unifying the di?erent research principles within automated reasoning. IJCAR 2008 was the fusion of several major international events: -CADE: The International Conference on Automated Deduction -FroCoS: The Symposium on Frontiers of Combining Systems -FTP:...

• Format: Paperback
• Language: English
• ISBN: 3540710698
• ISBN13: 9783540710691
• Release Date: July 2008
• Publisher: Springer
• Length: 556 Pages
• Weight: 1.90 lbs.
• Dimensions: 1.3" x 6.1" x 9.3"