交互式定理证明与程序开发 （德）伯托特，（德）卡斯特兰 著，顾明 等译 清华大学出版社 出版时间：2010-1出版社：清华大学出版社作者：（德）伯托特，（德）卡斯特兰 著，顾明 等译页数：432译者：顾明Tag标签：无 图书封面 图书标签Tags 无 下载链接 交互式定理证明与程序开发PDF格式下载
