登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于知识方程的自动数学证明研究
出版社：中国科学技术大学
出版年：2024
作者：岳杨明
资源类型：图书
细分类型：学位论文
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

数学证明
  • 作者：萧文强
  • ISBN：9787561140710
  • 出版社：大连理工大学出版社
  • 出版年：2008
...

数学证明
  • 作者：萧文强
  • ISBN：9787561186749
  • 出版社：大连理工大学出版社
  • 出版年：2016
...

方程求解与机器证明 :基于MMP的问题求解
  • 作者：高小山
  • ISBN：7030178629
  • 出版社：科学出版社
  • 出版年：2006
...

自动定理证明
  • 作者：石纯一
  • ISBN：7502902988
  • 出版社：气象出版社
  • 出版年：1989
...

基于格的高效零知识证明及其应用
  • 作者：王梦凡
  • 出版社：中国科学院信息工程斫究所,中国科学院信息工程研究所
  • 出版年：2023
...

基于抗量子假设的零知识范围证明研究
  • 作者：滕瑜莹
  • 出版社：中国科学院信息工程研究所
  • 出版年：2019