Citation for bib #: Howe87b

@INPROCEEDINGS{Howe87b,
author = {Howe, Douglas J.},
title = {Implementing Number Theory: An Experiment with {\Nuprl}},
year = {1987},
volume = {230},
pages = {404--415},
month = {#Jul#},
series = {#LNCS#},
booktitle = {Proceedings of Eighth International Conference on Automated Deduction}
}

full 2000+ listing of shared PRL project bibTex

PRL Home
Introduction
The Nuprl book
Origins of the PRL Project
Goals
Dynamics of the Project
Mathematical Expression in Nuprl
Cross Links to Math & CS Fields

Knowledge Base
Math Library
Publications
Projects
CRASH
Nuprl/FDL System
EventML Software
Seminar

People
Wiki
The Book
Lectures
Other Groups