Hänvisningar gällande denna post
APA-referensSpringerLink (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-stil citatSpringerLink (Online service), Marta Cialdea Mayer, och 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-referensSpringerLink (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-stil citatSpringerLink (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.