组合证明的艺术

组合证明的艺术

出版社：机械工业出版社

ISBN：9787111585527

出版年：2019

作者：本杰明

资源类型：图书

细分类型：中文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

交互式定理证明与程序开发 :Coq归纳构造演算的艺术 :Coq''art: the calculus of induc

作者：贝尔托
ISBN：9787302208136
出版社：清华大学出版社
出版年：2010

论证的艺术

作者：威廉姆斯
ISBN：9787115578976
出版社：人民邮电出版社
出版年：2022

哈佛的证明

作者：陈祖芬
ISBN：9787506352222
出版社：作家出版社
出版年：2010

数学证明

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

青春的证明

作者：森村诚一
出版社：中国文联出版公司
出版年：1987

证明

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