Automated Reasoning with Analytic Tableaux and Related Methods: 20th Inteational Conference, TABLEAUX 2011, Be, Switzerland, July 4-8, 2011, .. / Lecture Notes in Artificial Intelligence)

Hardcover: 279 pages

Publisher: Springer (June 22, 2011)

Language: English

ISBN-10: 3642221181

代发服务

PDF电子书10元立即求助