检索条件： 自动推理 ( 主题词 )
责任者 邱玉辉,张为群
出版信息 电子科技大学出版社 ,2005
ISBN 7-81016-330-2
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
自动推理导论
邱玉辉,张为群.电子科技大学出版社,2005.
责任者 邱玉辉编著,张为群编著
出版信息 电子科技大学出版社 ,1992.6
邱玉辉编著,张为群编著.电子科技大学出版社,1992.6.
责任者 王岚,乐毓俊
出版信息 北京邮电大学出版社 ,2005
ISBN 7-5635-0921-6
计算机自动推理与智能教学
王岚,乐毓俊.北京邮电大学出版社,2005.
责任者 张景中
出版信息 清华大学出版社 ,2000
ISBN 7-81029-930-1
计算机怎样解几何题：谈谈自动推理
张景中.清华大学出版社,2000.
责任者 张寅生
出版信息 科学技术文献出版社 ,2009
ISBN 978-7-5023-6318-5
扩展的三段论及自动推理
张寅生.科学技术文献出版社,2009.
责任者 王昊奋,漆桂林,陈华钧
出版信息 电子工业出版社 ,2020
ISBN 978-7-121-36671-0
知识图谱：方法、实践与应用
王昊奋,漆桂林,陈华钧.电子工业出版社,2020.
出版信息 湖北科学技术出版社 ,2017
ISBN 978-7-5352-9532-3
计算机怎样解几何题
张景中.湖北科学技术出版社,2017.
责任者 刘准钆
出版信息 科学出版社 ,2016
ISBN 978-7-03-047501-5
不确定数据信任分类与融合
刘准钆.科学出版社,2016.
责任者 库巴特
出版信息 清华大学出版社 ,2024
ISBN 978-7-302-66264-8
人工智能基础：问题解决和自动推理
库巴特.清华大学出版社,2024.
出版信息 电子工业出版社 ,2019
王昊奋,漆桂林,陈华钧.电子工业出版社,2019.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
