Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.
Cytowanie według stylu Chicago (wyd. 17)Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
Cytowanie według stylu MLA (wyd. 9)Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..