中文简体

全部
  • 全部
  • 名称
  • 作者
  • 馆藏单位
  • 出版时间
定理机器证明
作者：姜云飞(编著)；刘叙华（编著）
出版社：科学出版社·北京
馆藏单位：浙江大学
出版时间：1987-10
ISBN：15031·870
资源类型：当代图书
标签： 添加标签
主题：定理-证明 证明-定理
说明： 本书主要介绍这一领域的理论基础及重要研究成果。
试读 章节阅读

其他版本

谁看过

浙ICP备05074421号-15| 版权所有 2019 CADAL管理中心

详情页
  • 打印范围：
  • 打印份数 *：
  • 联系方式*：
  • 电子邮箱*：
  • 收货地址*：
    • ------打印服务供应商选择------
共：292页 总计金额： 元 您的当前账户余额：元

温馨提示：功能还未正式上线，请不要支付打印哦！


捐赠
  • 捐赠
  • 我有图书
请输入捐赠数量：  本
捐赠所需金额：   元 (单价:1.00 元/本)
您的当前账户余额: 元
CADAL致力于知识共享，您的捐助会让更多的人有机会阅读本书，感谢您的分享！
f
荐购

是否向您当前所属图书馆推荐购买该资源

荐购

贵馆还没有提供馆藏书目，请告知贵馆。

推荐数字化

是否推荐CADAL系统将本资源数字化

支付成功

支付已成功

5s 后自动跳转至书籍详情页面

完善
文献类型：
定理机器证明--更多版本
定理机器证明--书单收藏更多