http:^^www.phil.indiana.edu^~barwise^hyperproof.html

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

HTML
42 行
字号 
Date: Wed, 20 Nov 1996 19:15:44 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Tue, 28 Nov 1995 19:51:46 GMTContent-length: 1057<html><HEAD><TITLE> Hyperproof 2.0 </TITLE></HEAD><BODY background = "pentag8.gif"><H2> Hyperproof 2.0 </H2><Strong>Description: </Strong> <Blockquote>This is a courseware development project aimed at creating a secondgeneration of <!WA0><A HREF = "http://csli-www.stanford.edu/hp/index.html">Hyperproof</A>.  In <strong> Hyperproof 2.0</strong>, the student would be ableto reason with a variety of diagrams, including Venn Diagrams, HasseDiagrams, and Position Diagrams, in addition to the block worlddiagrams of Hyperproof 1.0.  (Put in some nice graphics stolen fromthe mockup.) </Blockquote><P><Strong> Associated Faculty: </Strong>  Gerry Allwein, Jon Barwise<P><Strong> Affiliated Projects: </Strong>  This project is a jointendeavor with CSLI at Stanford University. The Stanford half of theproject is led by John Etchemendy.<P><Strong> Support: </Strong> COAS, Rugs, CSLI<p> <!WA1><A HREF="http://www.cs.indiana.edu/research/index.html"><!WA2><IMG SRC="http://www.phil.indiana.edu/~barwise/back.gif"> Return to Computer Science Research Page  </A><P><!WA3><IMG SRC="http://www.phil.indiana.edu/~barwise/hproof2.GIF">

http:^^www.phil.indiana.edu^~barwise^hyperproof.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.phil.indiana.edu^~barwise^hyperproof.html 源码文件，采用 HTML 编程语言编写，共 42 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?