返回列表 回复 发帖

UID
524 
帖子
9 
精华
0 
积分
1 
1#
shangrila发表于 2010-2-19 18:11 | 显示全部帖子
thanks for your gifts!
在哪里跌倒，就在哪里躺会！
回复 引用

TOP

UID
524 
帖子
9 
精华
0 
积分
1 
2#
shangrila发表于 2010-2-19 21:50 | 显示全部帖子
这款软件应该说是Automatic Theorem Proving Research Group的产物，由Shang-Ching Chou主导研制开发，Shang-Ching Chou是Department of Computer Science, Wichita State University教授，
Wichita State University位于堪萨斯州
在哪里跌倒，就在哪里躺会！
回复 引用

TOP

返回列表