Implementing mathematics with the Nuprl proof development system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, 1986. [doi]

This author has not been identified. Look up 'Robert L. Constable' in GoogleThis author has not been identified. Look up 'Stuart F. Allen' in GoogleThis author has not been identified. Look up 'Mark Bromley' in GoogleThis author has not been identified. Look up 'Rance Cleaveland' in GoogleThis author has not been identified. Look up 'J. F. Cremer' in GoogleThis author has not been identified. Look up 'R. W. Harper' in GoogleThis author has not been identified. Look up 'Douglas J. Howe' in GoogleThis author has not been identified. Look up 'Todd B. Knoblock' in GoogleThis author has not been identified. Look up 'N. P. Mendler' in GoogleThis author has not been identified. Look up 'Prakash Panangaden' in GoogleThis author has not been identified. Look up 'James T. Sasaki' in GoogleThis author has not been identified. Look up 'Scott F. Smith' in Google

runs on WebDSL