Automated Reasoning With Analytic Tableaux and Related Methods : 26th International Conference, Tableaux 2017, BrasÃlia, Brazil, September 25-28, 2017, Proceedings
ISBN: 9783319669021
Information Available:
Cover Image
Copyright held by Baker & Taylor.