Some Research Issues in Higher Order Logic Theorem Proving

Detalles Bibliográficos
Autor principal: Melham, T
Formato: Report
Publicado: Department of Computer Science‚ University of Aarhus 1996