检索条件： 证明 ( 主题词 )
责任者 马明辉编著
出版信息 科学出版社 ,2023.06
ISBN 978-7-03-075474-5
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
结构证明论（第二版）
马明辉编著.科学出版社,2023.06.
责任者 莫罗,韦斯顿
出版信息 天地出版社 ,2021
ISBN 978-7-5455-5490-8
高效论证：美国大学最实用的逻辑训练课：a complete course in critical thinking
莫罗,韦斯顿.天地出版社,2021.
责任者 杨宁芳
出版信息 人民出版社 ,2022
ISBN 978-7-01-024249-1
论证型式的类型化研究
杨宁芳.人民出版社,2022.
责任者 鞠实儿
出版信息 科学出版社 ,2022
ISBN 978-7-03-073467-9
论证挖掘与论证形式化
鞠实儿.科学出版社,2022.
责任者 萧文强
出版信息 大连理工大学出版社 ,2016
ISBN 978-7-5611-8674-9
数学证明
萧文强.大连理工大学出版社,2016.
责任者 吴文俊
出版信息 科学出版社 ,1984.08
ISBN 978-7-03-028377-1
几何定理机器证明的基本原理．初等几何部分
吴文俊.科学出版社,1984.08.
责任者 郁文生,窦国威
出版信息 科学出版社 ,2024
ISBN 978-7-03-077545-0
自然数的紧化延伸机器证明系统
郁文生,窦国威.科学出版社,2024.
责任者 彼得·D·拉克斯,劳伦斯·查克曼
出版信息 高等教育出版社 ,2017
ISBN 978-7-04-047000-0
实定理的复证明
彼得·D·拉克斯,劳伦斯·查克曼.高等教育出版社,2017.
责任者 潘承彪
出版信息 哈尔滨工业大学出版社 ,2013
ISBN 978-7-5603-3917-7
从切比雪夫到爱尔特希．上，素数定理的初等证明．Ⅰ，the elementary proof of the prime number theorem
潘承彪.哈尔滨工业大学出版社,2013.
责任者 潘承洞,潘承彪
出版信息 上海科学技术出版社 ,1988.2
ISBN 7-5323-0604-6
素数定理的初等证明
潘承洞,潘承彪.上海科学技术出版社,1988.2.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
