Hybrid Interactive Theorem Proving using Nuprl and HOL (1997)

Cached

Download Links

by Amy P. Felty , Douglas J. Howe
Venue:IN MCCUNE [1997
Citations:14 - 1 self