Haku

Tietueen sitaatit

APA-viite

SpringerLink (Online service), Geuvers, H., & Wiedijk, F. (2003). Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers. Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-39185-1

Chicago-tyylinen lähdeviittaus

SpringerLink (Online service), Herman Geuvers, ja Freek Wiedijk. Types for Proofs and Programs: International Workshop, TYPES 2002, Berg En Dal, The Netherlands, April 24–28, 2002. Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/10.1007/3-540-39185-1.

MLA-viite

SpringerLink (Online service), et al. Types for Proofs and Programs: International Workshop, TYPES 2002, Berg En Dal, The Netherlands, April 24–28, 2002. Selected Papers. Springer Berlin Heidelberg, 2003. https://doi.org/10.1007/3-540-39185-1.

Harvard-tyylinen lähdeviittaus

SpringerLink (Online service), Geuvers, H. & Wiedijk, F. 2003. Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg.

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