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