检索条件： 定理证明 ( 主题词 )
责任者 胡振武著
出版信息 ,2007
ISBN 01547432
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
费马大定理证明之研究
胡振武著.,2007.
责任者 Yves Bertot, Pierre Casteran
出版信息 清华大学出版社 ,20100101
ISBN 978-7-302-20813-6
交互式定理证明与程序开发: Coq归纳构造演算的艺术
Yves Bertot, Pierre Casteran.清华大学出版社,20100101.
责任者 尼克著
出版信息 人民邮电出版社 ,2021.01
ISBN 978-7-115-49171-8
人工智能简史
尼克著.人民邮电出版社,2021.01.
出版信息 人民邮电出版社 ,2017.12
ISBN 978-7-115-47160-4
尼克著.人民邮电出版社,2017.12.
责任者 尼克
出版信息 人民邮电出版社 ,20170101
尼克.人民邮电出版社,20170101.
责任者 (美)尼罗德Anil Nerode，Richard A. Shore
出版信息 机械工业出版社 ,20060101
ISBN 7-111-19772-0
应用逻辑
(美)尼罗德Anil Nerode，Richard A. Shore.机械工业出版社,20060101.
责任者 安宇
出版信息 清华大学出版社 ,2024
ISBN 978-7-302-66392-8
理论力学简明教程
安宇.清华大学出版社,2024.
责任者 曹雪虹, 张宗橙
出版信息 清华大学出版社 ,20160101
ISBN 978-7-302-44019-2
信息论与编码
曹雪虹, 张宗橙.清华大学出版社,20160101.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
