Implementing mathematics with the Nuprl proof development system /
R.L. Constable ... [et al.] (Computer Science Department, Cornell University).

Description

Tools

Cite this Export citation file
Related Names
Constable, R. L. (Robert L.)
Cornell University. Department of Computer Science.
Language(s)
English
Published
Englewood Cliffs, N.J. : Prentice-Hall, c1986.
Subjects
NUPRL.
Mathematics > Data processing.
Nuprl (Computer system)
Automatic theorem proving.
Note
Includes index.
Physical Description
x, 299 p. : ill. ; 24 cm.
ISBN
9780134518329
0134518322
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of California
Limited (search only)   University of Michigan