检索条件： 证明 ( 主题词 )
责任者 莫罗,韦斯顿
出版信息 天地出版社 ,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.
出版信息 金城出版社 ,2025
ISBN 978-7-5155-2767-3
逻辑是练出来的：论证与批判性思考方法训练：a complete course in critical thinking
莫罗,韦斯顿.金城出版社,2025.
责任者 史迪威
出版信息 人民邮电出版社 ,2025.2
ISBN 978-7-115-65687-2
证明的故事：从勾股定理到现代数学：logic and the history of mathematics
史迪威.人民邮电出版社,2025.2.
责任者 萧文强
出版信息 大连理工大学出版社 ,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.
责任者 张景中,高小山,周咸青
出版信息 科学出版社 ,2015
ISBN 978-7-03-044066-2
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青.科学出版社,2015.
责任者 彼得·D·拉克斯,劳伦斯·查克曼
出版信息 高等教育出版社 ,2017
ISBN 978-7-04-047000-0
实定理的复证明
彼得·D·拉克斯,劳伦斯·查克曼.高等教育出版社,2017.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
