检索条件： 证明 ( 主题词 )
责任者 李娜
出版信息 科学出版社 ,2023
ISBN 978-7-03-075624-4
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
机器证明的逻辑推定
李娜.科学出版社,2023.
责任者 郁文生,付尧顺,郭礼权
出版信息 科学出版社 ,2022
ISBN 978-7-03-070671-3
分析基础机器证明系统
郁文生,付尧顺,郭礼权.科学出版社,2022.
责任者 韦斯顿
出版信息 天地出版社 ,2019
ISBN 978-7-5455-3671-3
论证是一门学问
韦斯顿.天地出版社,2019.
责任者 张景中,高小山,周咸青
出版信息 科学出版社 ,2015
ISBN 978-7-03-044066-2
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青.科学出版社,2015.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
