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

组合证明的艺术
出版社：机械工业出版社
ISBN：9787111585527
出版年：2019
作者：本杰明
资源类型：图书
细分类型：中文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

交互式定理证明与程序开发 :Coq归纳构造演算的艺术 :Coq''art: the calculus of induc
  • 作者：贝尔托
  • ISBN：9787302208136
  • 出版社：清华大学出版社
  • 出版年：2010
...

论证的艺术
  • 作者：威廉姆斯
  • ISBN：9787115578976
  • 出版社：人民邮电出版社
  • 出版年：2022
...

证明
  • 作者：松本清张
  • ISBN：9787506099318
  • 出版社：东方出版社
  • 出版年：2018
...

人性的证明
  • 作者：森村诚一
  • ISBN：9787501455188
  • 出版社：群众出版社
  • 出版年：2017
...

青春的证明
  • 作者：森村诚一
  • ISBN：9787501455171
  • 出版社：群众出版社
  • 出版年：2017
...

野性的证明
  • 作者：森村诚一
  • ISBN：9787501449668
  • 出版社：群众出版社
  • 出版年：2012