%0 Book %1 books/daglib/0068834 %A Constable, Robert L. %A Allen, Stuart F. %A Bromley, Mark %A Cleaveland, Rance %A Cremer, J. F. %A Harper, Robert %A Howe, Douglas J. %A Knoblock, Todd B. %A Mendler, Nax Paul %A Panangaden, Prakash %A Sasaki, James T. %A Smith, Scott F. %D 1986 %I Prentice Hall %K dblp %P I-X, 1-299 %T Implementing mathematics with the Nuprl proof development system. %@ 978-0-13-451832-9

@book{books/daglib/0068834, added-at = {2023-09-24T00:00:00.000+0200}, author = {Constable, Robert L. and Allen, Stuart F. and Bromley, Mark and Cleaveland, Rance and Cremer, J. F. and Harper, Robert and Howe, Douglas J. and Knoblock, Todd B. and Mendler, Nax Paul and Panangaden, Prakash and Sasaki, James T. and Smith, Scott F.}, biburl = {https://www.bibsonomy.org/bibtex/27a8a1220e541cbdabdb86098bf838a9f/dblp}, ee = {http://dl.acm.org/citation.cfm?id=10510}, interhash = {12f6d9a561735f24f3123cd21b327765}, intrahash = {7a8a1220e541cbdabdb86098bf838a9f}, isbn = {978-0-13-451832-9}, keywords = {dblp}, pages = {I-X, 1-299}, publisher = {Prentice Hall}, timestamp = {2024-04-09T07:48:10.000+0200}, title = {Implementing mathematics with the Nuprl proof development system.}, year = 1986 }