APA引文

Melham, T. (1996). Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus.

Chicago Style (17th ed.) Citation

Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.

MLA引文

Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.

警告：這些引文格式不一定是100％准確.