Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings By Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (eds.)
2011 | 279 Pages | ISBN: 3642221181 | PDF | 3 MB