咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >几何定理机器证明的基本原理 初等几何部分 收藏

几何定理机器证明的基本原理 初等几何部分

丛 书 名:计算机科学丛书

版本说明:1

作     者:吴文俊 

I S B N:(纸本) 15031·586 

出 版 社:科学出版社 

出 版 年:1984年

页      数:280页

主 题 词:机器证明 几何 定理证明 

学科分类:07[理学] 08[工学] 081203[工学-计算机应用技术] 0835[工学-软件工程] 0701[理学-数学] 070101[理学-基础数学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论] 

馆 藏 号:201209385...

摘      要:本书共分六章:前两章是关于几何机械化的预备知识第三章为几何定理机器证明的机械化与Hibert机械化定理第四、五章分别为(常用无序几何和(常用)有序几何的机械化定理第六章论述各种几何的机械化定理。

实体馆藏
馆藏地名称 定位 索书号 条码号 文献状态
数学科学学院资料室 查看 51.5/291 ST1S00464 阅览
南校区密集库 查看 51.5/291 011062968 可借
南校区密集库 查看 51.5/291 011062993 可借
南校区密集库 查看 51.5/291 011062995 可借

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分