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.