登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

不等式机器证明与自动发现
PISBN：9787030207210
出版类型：专著
出版时间：2008-01-01
版次：1
作者：杨路，夏壁灿著
学科：数学
语种：中文
所属数据库：科学文库
丛书题名：数学机械化丛书
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

定理机器证明
  • 作者：刘叙华，姜云飞编著
  • PISBN：15031870
  • 出版时间：1987-10-01
...

概率不等式
  • 作者：林正炎，白志东编著
  • PISBN：7030174216
  • 出版时间：2006-07-01
...

方程求解与机器证明 : 基于MMP的问题求解
  • 作者：高小山[等]著
  • PISBN：7030178629
  • 出版时间：2006-09-01
...

解析不等式
  • 作者：(南)密特利诺维奇(Mitrinovic， D.S.)著；张小萍，王龙译
  • PISBN：130313394
  • 出版时间：1987-02-01
...

概率不等式
  • 作者：Zhengyang Lin， Zhidong Bai
  • PISBN：9787030255624
  • 出版时间：2010-08-01
...

数理逻辑与机器证明
  • 作者：陆钟万
  • PISBN：15031535
  • 出版时间：1983-11-01