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. Berlin, Heidelberg: Springer Berlin Heidelberg.

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.

MLA-viite

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.

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.