Automated Deduction -- Cade 21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
ISBN: 9783540735953
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.