Automated Deduction Cade-23 : 23rd International Conference on Automated Deduction, Wrocbaw, Poland, July 31 -- August 5, 2011, Proceedings
ISBN: 9783642224386
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.