Haku

Tietueen sitaatit

APA-viite

Williams, J. G. (1991). Instantiation theory: On the foundations of automated deduction. Springer.

Chicago-tyylinen lähdeviittaus

Williams, J. G. Instantiation Theory: On the Foundations of Automated Deduction. Berlin: Springer, 1991.

MLA-viite

Williams, J. G. Instantiation Theory: On the Foundations of Automated Deduction. Springer, 1991.

Harvard-tyylinen lähdeviittaus

Williams, J. G. 1991. Instantiation theory: On the foundations of automated deduction. Berlin: Springer.

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