APA (7th ed.) Citation

TABLEAUX 2007 Aix en Provence, France, SpringerLink (Online service), & Olivetti, N. (2007). Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings. Springer. https://doi.org/10.1007/978-3-540-73099-6

Chicago Style (17th ed.) Citation

TABLEAUX 2007 Aix en Provence, France, SpringerLink (Online service), and Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007 : Proceedings. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-73099-6.

MLA (9th ed.) Citation

TABLEAUX 2007 Aix en Provence, France, et al. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007 : Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-73099-6.