Melham, T. (1996). Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus.
Cita Chicago (17th ed.)Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.
Cita MLA (9th ed.)Melham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.
Atenció: Aquestes cites poden no estar 100% correctes.