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

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

HTML
54 行
字号 
Date: Wed, 20 Nov 1996 19:15:33 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Tue, 28 Nov 1995 19:51:04 GMTContent-length: 1516<html><HEAD><TITLE> Logical Reasoning with Diagrams </TITLE></HEAD><BODY background = "pentag8.gif"><H2> Logical Reasoning with Diagrams </H2><Strong>Description: </Strong> <Blockquote>Engineers have long used diagrams as an essential part of the designprocess.  Flow charts and other forms of diagrams are well known aidesin programming.  There are now programming environments where theprogramming is entirely diagrammatic.The graphic capabilities of the computer have led to the wide spreaduse of diagrammatic and other forms of graphical representation ofinformation.  This project attempts to understand the logicalproperties of such forms of representation, and to developcomputational tools to facilitate the correct use of such tools.   </Blockquote><P><Strong> Associated Faculty: </Strong>  Gerry Allwein, Jon Barwise, Steve Johnson<P><Strong> Associated Graduate Students: </Strong>  Kata Bimbo (philosophy and cognitive science), Michael Chui, KathiFisler,  Atsushi Shimojima (philosophy) <P><Strong> Affiliated Projects: </Strong>  The project takes placewithin the IU Visual Inference Laboratory, and is affiliated with theHyperproof Project at CSLI, Stanford University. <P><Strong> Support: </Strong> COAS, RUGS<p> <Strong> For more information </Strong> <!WA0><A HREF = "http://www-vil.cs.indiana.edu/HomePage.html">click here </A><p><!WA1><A HREF="http://www.cs.indiana.edu/research/index.html"><!WA2><IMG SRC="http://www.phil.indiana.edu/~barwise/back.gif"> Return toComputer Science Research Page  </A></body>

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

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

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

⌨️ 快捷键说明

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