Skip to content

Search

Record Citations

APA Citation

SpringerLink (Online service), Cialdea Mayer, M., & Pirri, F. (2003). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings. Springer Berlin Heidelberg. https://doi.org/10.1007/b12030

Chicago Style Citation

SpringerLink (Online service), Marta Cialdea Mayer, and Fiora Pirri. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/10.1007/b12030.

MLA Citation

SpringerLink (Online service), et al. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings. Springer Berlin Heidelberg, 2003. https://doi.org/10.1007/b12030.

Harvard Style Citation

SpringerLink (Online service), Cialdea Mayer, M. & Pirri, F. 2003. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Remember to check citations for accuracy before including them in your work.