Haku

Tietueen sitaatit

APA-viite

SpringerLink (Online service), Joyce, J. J., & Seger, C. H. (1994). Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings. Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-57826-9

Chicago-tyylinen lähdeviittaus

SpringerLink (Online service), Jeffrey J. Joyce, ja Carl-Johan H. Seger. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. https://doi.org/10.1007/3-540-57826-9.

MLA-viite

SpringerLink (Online service), et al. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings. Springer Berlin Heidelberg, 1994. https://doi.org/10.1007/3-540-57826-9.

Harvard-tyylinen lähdeviittaus

SpringerLink (Online service), Joyce, J. J. & Seger, C. H. 1994. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

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