图 书 馆
推导的观众互动Interactive derivation viewer |
|
| 课程网址: | http://videolectures.net/aaai07_trac_idv/ |
| 主讲教师: | Steven Trac |
| 开课单位: | 迈阿密大学 |
| 开课时间: | 2007-07-03 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language. |
| 关 键 词: | IDV; 图形渲染; 定理证明问题; 工具（TPTP）语言 |
| 课程来源: | 信息不详。欢迎您在右侧留言补充。 |
| 最后编审: | 2020-06-13：章泽平(课程编辑志愿者) |
| 阅读次数: | 65 |