检索条件： 证明 ( 主题词 )
责任者
出版信息 大连理工大学出版社
ISBN 7-5611-4071-0
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
数学证明
.大连理工大学出版社,.
责任者 徐俊杰
出版信息 西北工业大学出版社 ,2007年04月
ISBN 978-7-5612-2200-3
数学难题探索：费尔马大定理和四色问题证明
徐俊杰.西北工业大学出版社,2007年04月.
责任者 Yves Bertot, Pierre Casteran
出版信息 清华大学出版社 ,20100101
ISBN 978-7-302-20813-6
交互式定理证明与程序开发: Coq归纳构造演算的艺术
Yves Bertot, Pierre Casteran.清华大学出版社,20100101.
责任者 卢布敏
出版信息
ISBN
荒唐的性能力证明毁了一个家庭
卢布敏.,.
责任者 萧文强
出版信息 大连理工大学出版社 ,2023
ISBN 978-7-5685-4083-4
数学证明是怎样的一项数学活动？
萧文强.大连理工大学出版社,2023.
责任者 (美) 大卫·莫罗, 安东尼·韦斯顿, 姜昊骞
出版信息 天地出版社 ,20210101
ISBN 978-7-5455-5490-8
高效论证: 美国大学最实用的逻辑训练课
(美) 大卫·莫罗, 安东尼·韦斯顿, 姜昊骞.天地出版社,20210101.
责任者 肖忆雪，张锰霖，卢玮著
出版信息 吉林人民出版社 ,2020.09
ISBN 978-7-206-17513-8
证明方法论
肖忆雪，张锰霖，卢玮著.吉林人民出版社,2020.09.
责任者 胡振武著
出版信息 ,2007
ISBN 01547432
费马大定理证明之研究
胡振武著.,2007.
责任者 常青著
出版信息 昆仑出版社 ,1990
ISBN 7-80040-149-9
女性的证明
常青著.昆仑出版社,1990.
责任者 (美) 瓦尔特·辛诺特-阿姆斯特朗, 罗伯特·福格林, Walter Sinnott-Armstrong, Robert J. Fogelin, 陈晰
出版信息 广西师范大学出版社 ,20200101
ISBN 978-7-5598-2915-3
说服与不被说服的艺术: 论证中的演绎、归纳和谬误
(美) 瓦尔特·辛诺特-阿姆斯特朗, 罗伯特·福格林, Walter Sinnott-Armstrong, Robert J. Fogelin, 陈晰.广西师范大学出版社,20200101.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
