The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Implementing Mathematics with the Nuprl Proof Development System
The work
| Authors | R. L. Constable; S. F. Allen; H. M. Bromley; W. R. Cleaveland; J. F. Cremer; R. W. Harper; D. J. Howe; T. B. Knoblock; N. P. Mendler; P. Panangaden; J. T. Sasaki; S. F. Smith |
|---|---|
| Editors | |
| Type | book |
| Year | 1986 |
| Citekey | constable1986implementingb |
Where it appeared
| Publisher | Prentice-Hall |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 12:23 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@book{constable1986implementingb,
title = {Implementing Mathematics with the Nuprl Proof Development System},
author = {R. L. Constable and S. F. Allen and H. M. Bromley and W. R. Cleaveland and J. F. Cremer and R. W. Harper and D. J. Howe and T. B. Knoblock and N. P. Mendler and P. Panangaden and J. T. Sasaki and S. F. Smith},
year = {1986},
publisher = {Prentice-Hall},
}
This record lives at https://refs.drheap.org/constable1986implementingb/ and will keep doing so.