APA (7. basım) Alıntı

Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.

Chicago Style (17. basım) Atıf

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

MLA (9th ed.) Atıf

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..