Melham, T. (1996). Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रMelham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.
एमएलए (9वां संस्करण) प्रशस्ति पत्रMelham, T. Some Research Issues in Higher Order Logic Theorem Proving. Department of Computer Science‚ University of Aarhus, 1996.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.