Haku

Tietueen sitaatit

APA-viite

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-tyylinen lähdeviittaus

SpringerLink (Online service), Marta Cialdea Mayer, ja 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-viite

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-tyylinen lähdeviittaus

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.

Muista tarkistaa viitteiden oikeellisuus, ennen kuin käytät niitä tekstissäsi.