|
Implementing mathematics with the Nuprl proof development system Constable R. (ed), Allen S., Bromley H., Cleaveland W., Cremer J., Harper R., Howe D., Knoblock T., Mendler N., Panangaden P., Sasaki J., Smith S., Prentice-Hall, Inc., Upper Saddle River, NJ, 1986. Type: Book (9789780134518329)
The Nuprl project at Cornell University constitutes a significant advance in machine-assisted theorem proving. This book gives a global description of the project. Despite the number of authors, the book is not just a collection of ind...
|
Jan 1 1988 |