Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992

Luc J. M. Claesen Michael J. C. Gordon Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992 TPHOLs IFIP Transactions A-20 North-Holland/Elsevier 1993 0-444-89880-8 db/conf/tphol/tphol92.html