图 书 馆
定理证明的竞争概述和结果Theorem proving competition overview and results |
|
| 课程网址: | http://videolectures.net/turing100_sutcliffe_theorem_competition/ |
| 主讲教师: | Geoff Sutcliffe |
| 开课单位: | 迈阿密大学 |
| 开课时间: | 2012-07-10 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Theorem proving competition overview and results |
| 关 键 词: | 计算机科学; 结果; 定理证明 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2021-12-23：liyy |
| 阅读次数: | 50 |