|  | Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proce (Lecture Notes in Artificial Intelligence) | Brünnler, Kai | Paperback | 3642221181 /
9783642221187 | 06/2011 | $52.24 |