Automated Deduction - Cade 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
ISBN: 9783319630465
Information Available:
Cover Image
Copyright held by Baker & Taylor.