http:^^www.cs.ualberta.ca^~hoover^
来自「This data set contains WWW-pages collect」· CA^~HOOVER^ 代码 · 共 152 行
CA^~HOOVER^
152 行
Date: Mon, 25 Nov 1996 22:56:06 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 3716
Last-modified: Thu, 07 Nov 1996 00:02:53 GMT
<HTML><TITLE> H. James Hoover </TITLE><h1><!WA0><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/people/faculty/gifs/hoover.gif"></A>H. James Hoover </h1> <DL><DT> <B>Associate Professor<DT><!WA1><A HREF="http://web.cs.ualberta.ca/home.html">Department of Computing Science </A><DT><!WA2><A HREF="http://web.cs.ualberta.ca/UAlberta.html">University of Alberta </A></B><P><DT><B>E-mail:</B><I>hoover@cs.ualberta.ca</I><hr><FONT FACE="Arial, Helvetica" SIZE=3><b>This page is a mess while under construction. OK, I admit it, I am probably never going to make this page any better. Life is too short towaste on fancy web pages.</b></FONT><hr></DL><H2> Research Interests </H2>While waiting for a more systematic home page, why not read my<!WA3><A HREF="http://www.cs.ualberta.ca/~hoover/res-blurb.dvi">research summary</A>.<UL><li> <b> Current Work </b><ul><li><!WA4><A HREF="http://www.cs.ualberta.ca/~hoover/dimacs-teaching-logic.ps"> Teaching freshman logic with Mizar-MSE,by H. James Hoover and Piotr Rudnicki.</A> This is a presentation forthe <i>DIMACS Symposium on Teaching Logic and Reasoning in an IllogicalWorld</i>,July 25-26 1996, Busch Campus of Rutgers University, Piscataway, New Jersey.<!WA5><A HREF="http://www.cs.ualberta.ca/~hoover/dimacs-teaching-logic/paper.html"> HTMLVersion </A><li>CRC Handbook of Algorithms and Theory of Computation - Mikhail Atallah,Editor. <b>Chapter 48 - Parallel Computation Models and ComplexityIssues</b>.Raymond Greenlaw and H. James Hoover.Universitat Politecnica De Catalunya, Departament de Llenguatges i Sistemes Inform鄑icsTechnical report LSI-96-30-R.<br><!WA6><A HREF=http://www-lsi.upc.es/www/dept/techreps/1996.html> Original </A><!WA7><A HREF="http://www.cs.ualberta.ca/~hoover/Greenlaw-Hoover.ps"> (PostScript) </A><!WA8><A HREF="http://www.cs.ualberta.ca/~hoover/Greenlaw-Hoover.ps.gz"> (Gzip'd PostScript)</A><li><!WA9><A HREF="http://www.cs.ualberta.ca/~hoover/AppFrameworks.html"> Application Frameworks for EngineeringTools</A>. <li><!WA10><A HREF="http://www.cs.ualberta.ca/~hoover/P-complete">Limits to Parallel Computation: P-Completeness Theory</A><li>Mizar-C<!WA11><IMG ALIGN=TOPSRC="http://www.cs.ualberta.ca/~hoover/formalmethods.gif"><li><!WA12><A HREF="http://www.cs.ualberta.ca/~hoover/Self-Stab">Self-Stabilizing Systems</A></ul><li> <b> Older Work </b><ul><li>Complexity of Real Aanalysis</li></ul></ul><hr><H2> Useful Information </H2><ul><li> <!WA13><a href="http://www.cs.ualberta.ca/~hoover/SE-Info"> Software Engineering Links</a></ul><hr><h2><!WA14><A HREF="http://web.cs.ualberta.ca/labs/algorithmics.html">Laboratory for Algorithmics Research</A></h2><hr><h2>U of A Department of Computing Science Matters </h2><ul><li><!WA15><A HREF="http://www.cs.ualberta.ca/~hoover/Courses/401/crsdesc.html"><H3>Cmput 401</H3></A><li><!WA16><A HREF="http://www.cs.ualberta.ca/~hoover/Courses"><H3>Courses</H3></A><li><!WA17><A HREF="http://www.cs.ualberta.ca/~hoover/Courses/301/301.ps"><H3>Cmput 301 proposal - working document</H3></A><li><!WA18><A HREF="http://www.cs.ualberta.ca/~hoover/Admin"><H3>Administrative Related</H3></A></ul><hr><h2>Other Matters </h2><ul><li><!WA19><A HREF="http://www.cs.ualberta.ca/~hoover/address.html">Personal Information</A><li><!WA20><A HREF="http://www.cs.ualberta.ca/~hoover/publications.html">Publications</A><li><!WA21><A HREF="http://www.cs.ualberta.ca/~hoover/private.html">Out Links</A></ul><HR SIZE=5 WIDTH="100%"><BR><CENTER><P><FONT FACE="Arial, Helvetica"><h2>Shameless Advertising in Exchange forServices</h2></FONT><B><FONT SIZE=-1>This site is best viewed with Netscape Navigator 3.0.Download Netscape Now!</FONT></B></P></CENTER><CENTER><P><!WA22><AHREF="http://home.netscape.com/comprod/mirros/index.html"><!WA23><IMGSRC="http://home.netscape.com/comprod/products/navigator/version_3.0/images/netnow3.gif"HSPACE=4 HEIGHT=31 WIDTH=88 ALIGN=TOP></A><BR></P></CENTER><CENTER><P><B><FONT FACE="Arial, Helvetica"><FONT SIZE=-1>Best experiencedwith<BR><!WA24><A HREF="http://www.microsoft.com/ie/ie.htm"><!WA25><IMGSRC="http://www.microsoft.com/ie/images/ie_animated.gif" ALT="MicrosoftInternet Explorer" VSPACE=7 BORDER=2 HEIGHT=31 WIDTH=88></A><BR>Click here to start.</FONT></FONT></B><BR><BR><hr><i> $RCSfile: index.html,v $ $Revision: 1.1 $ $Date: 1995/11/17 16:46:35 $ </i></HTML>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?