检索条件： 数理逻辑引论 ( 题名 )
责任者 李涛,张岩,刘峰
出版信息 哈尔滨工业大学出版社 ,2016
ISBN 978-7-5603-6146-8
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
数理逻辑引论
李涛,张岩,刘峰.哈尔滨工业大学出版社,2016.
出版信息 哈尔滨工业大学出版社 ,2011
ISBN 978-7-5603-3411-0
李涛,张岩,刘峰.哈尔滨工业大学出版社,2011.
责任者 马光胜
出版信息 哈尔滨工程大学出版社 ,1997
ISBN 7-81007-746-5
马光胜.哈尔滨工程大学出版社,1997.
责任者 王宪钧编著
出版信息 北京大学出版社 ,1982
ISBN 7-301-00098-7
王宪钧编著.北京大学出版社,1982.
责任者 朱梧槚,肖奚安
出版信息 大连理工大学出版社 ,2008.03
ISBN 978-7-5611-4033-8
朱梧槚,肖奚安.大连理工大学出版社,2008.03.
责任者 刘志明,裘宗燕
出版信息 科学出版社 ,2022
ISBN 978-7-03-073238-5
数理逻辑引论：计算机科学与系统的天然基础
刘志明,裘宗燕.科学出版社,2022.
责任者 王国俊
出版信息 科学出版社 ,2006.3
ISBN 7-03-016583-7
数理逻辑引论及归结原理
王国俊.科学出版社,2006.3.
出版信息 科学出版社 ,2003
ISBN 7-03-011579-1
数理逻辑引论与归结原理
王国俊.科学出版社,2003.
责任者
出版信息
ISBN 9787030228994 (Beijing)
Introduction to mathematical logic and resolution principle =: 数理逻辑引论与归结原理 /
.,.
责任者 杨乐
出版信息 科学出版社 ,2015
ISBN 978-7-03-044412-7
现代数学基础丛书：典藏版．83，数理逻辑引论与归结原理
杨乐.科学出版社,2015.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
