Olivetti, N. (2007). Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (1st ed. 2007.). Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style CitationOlivetti, Nicola. Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007, Proceedings. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.
MLA CitationOlivetti, Nicola. Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007, Proceedings. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.