Automated Reasoning With Analytic Tableaux and Related Methods : 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
ISBN: 9783540730989



Information Available:
Summary
Cover Image
Table Of Contents





Copyright held by Baker & Taylor.