Importing mathematics from hol into Nuprl (1996)

Cached

Download Links

by Douglas J. Howe
Venue:Theorem Proving in Higher Order Logics (TPHOLs 1996), volume 1125 of LNCS
Citations:27 - 2 self

Document Versions

Importing mathematics from hol into Nuprl –Douglas J. Howe — 1996 — Theorem Proving in Higher Order Logics (TPHOLs 1996), volume 1125 of LNCS
Importing Mathematics from HOL into Nuprl –Douglas J. Howe — 1996 — Theorem Proving in Higher Order Logics (TPHOLs 1996), volume 1125 of LNCS