Some Research Issues in Higher Order Logic Theorem Proving

Bibliographische Detailangaben
1. Verfasser: Melham, T
Format: Report
Veröffentlicht: Department of Computer Science‚ University of Aarhus 1996