Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Format: paperback
ISBN:
9783642221187 (3642221181)
Publish date: June 22nd 2011
Publisher: Springer
Pages no: 277
Edition language: English