Importing mathematics from hol into Nuprl (1996)
Cached
Download Links
- [www.nuprl.org]
- [ftp.research.bell-labs.com]
- DBLP
Other Repositories/Bibliography
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 |
