http:^^www.cs.uml.edu^~gumb^

来自「This data set contains WWW-pages collect」· EDU^~GUMB^ 代码 · 共 19 行

Date: Thu, 21 Nov 1996 20:52:35 GMT
Server: NCSA/1.5.2
Last-modified: Fri, 22 Mar 1996 21:19:01 GMT
Content-type: text/html
Content-length: 372

<TITLE>RAY GUMB</TITLE>

<H1> <!WA0><A HREF="http://www.cs.uml.edu/~gumb/gumb.gif"><!WA1><IMG align=middle SRC="http://www.cs.uml.edu/~gumb/gumb-small.gif"></A>
Ray Gumb</H1>

<H1>Professor</H1>
<I>[e-mail]</I><P>

Logic, program correctness, artificial intelligence<P>

Raymond D. Gumb and Karel Lambert, <I>Definitions in Nonstrict Positive Free Logic</I>
<DT><!WA2><A HREF="http://www.cs.uml.edu/~gumb/gumb"><!WA3><IMG SRC="http://www.cs.uml.edu/~gumb/pixs/redball.gif">[/usr/pub/ftp/gumb]</A><BR>