Skip to main content

Some Research Issues in Higher Order Logic Theorem Proving

Tom F. Melham

Institution
Department of Computer Science‚ University of Aarhus
ISSN
0909−3206
Month
October
Number
NS−96−7
Year
1996