Some Research Issues in Higher Order Logic Theorem Proving

ग्रंथसूची विवरण
मुख्य लेखक: Melham, T
स्वरूप: Report
प्रकाशित: Department of Computer Science‚ University of Aarhus 1996