Automated Deduction - Cade-24 : 24th International Conference on Automated Deduction, Lake Placid, Ny, USA, June 9-14, 2013, Proceedings
ISBN: 9783642385742
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.