Implementing Mathematics with The Nuprl Proof Development System (1986)

Cached

Download Links

by Robert L. Constable , Stuart F. Allen , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harper , Douglas J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , Scott F. Smith , James T. Sasaki , S. F. Smith
Citations:151 - 9 self