http:^^www.cs.cornell.edu^info^projects^nuprl^html^nuprldocs.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 23 行

MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 25-Nov-96 00:40:59 GMT
Content-Type: text/html
Content-Length: 583
Last-Modified: Monday, 28-Oct-96 18:19:45 GMT

<TITLE>Nuprl Automated Reasoning Project Documentation</TITLE>
<H1>Nuprl Automated Reasoning Project Documentation</H1> <p>

<H1>Documents Available</H1>

<A HREF="../manual.with.index/it.html">Nuprl 4.1 Reference Manual and User's Guide</A> <P>
<A HREF="../tutorial/intro-tutorial.html">Nuprl 4.1 Tutorial</A> <P>
<A HREF="../book/book-intro.html">Implementing Mathematics with the Nuprl Proof Development System</A> <P>

<P> <HR> <P>

<A HREF="../index.html"> <IMG SRC="../icons/index.gif">
 Return to Main Index </A> <P>

<ADDRESS> Nuprl Project / [e-mail] </ADDRESS>