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

高级语言程序变换的机械化证明导论
出版社：科学出版社
ISBN：9787030731678
出版年：2022
作者：何炎祥
学科：电技术、电子技术
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

一类空间几何定理的机械化证明
  • 作者：王定康
  • 出版年：1990
...

微分方程机械化方法在混合计算与机器证明中的应用
  • 作者：于建平
  • 出版年：2005
...

吴文俊全集, 数学机械化卷. Ⅳ, Mathematics mechanization. IV :几何定理机器证明的
  • 作者：吴文俊
  • ISBN：9787508855530
  • 出版社：科学出版社
  • 出版年：2019
...

程序优化与程序变换方法的研究
  • 作者：张学令
  • 出版年：2014
...

机械化设计方法微机程序与应用
  • 作者：王国彪
  • ISBN：7111039092
  • 出版社：机械工业出版社
  • 出版年：1994
...

数学机械化
  • 作者：吴文俊
  • ISBN：7030107640
  • 出版社：科学出版社
  • 出版年：2003