Automated Reasoning With Analytic Tableaux and Related Methods : 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Proceedings
ISBN: 9783642405372
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.