Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings
ISBN: 9783319214016
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.