检索条件: 数理逻辑引论与归结原理 ( 题名 )
责任者 王国俊
出版信息 科学出版社 ,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.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您