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

最新设计的计算机证明与构造
出版社：东北工学院出版社
出版年：1987
作者：朱伟勇
学科：数学
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

最优设计的计算机证明与构造
  • 作者：朱伟勇
  • ISBN：7810060031
  • 出版社：东北工学院出版社
  • 出版年：1987
...

几何定理计算机证明
  • 作者：孙熙椿
  • ISBN：9787030155054
  • 出版社：科学出版社
  • 出版年：2007
...

十三球问题的计算机辅助新证明
  • 作者：刘田
  • 出版年：1992
...

基于安全多方计算的零知识证明设计及应用
  • 作者：柏伟浩
  • 出版社：中国科学院软件研究所
  • 出版年：2024
...

哈佛的证明
  • 作者：陈祖芬
  • ISBN：9787506352222
  • 出版社：作家出版社
  • 出版年：2010
...

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