Automated Reasoning With Analytic Tableaux and Related Methods : 24th International Conference, Tableaux 2015
ISBN: 9783319243122



Information Available:
Summary
Cover Image





Copyright held by Baker & Taylor.