Some Research Issues in Higher Order Logic Theorem Proving

Bibliografiske detaljer
Hovedforfatter: Melham, T
Format: Report
Udgivet: Department of Computer Science‚ University of Aarhus 1996