检索条件： 可计算性理论 ( 题名 )
责任者 李祥
出版信息 贵州人民出版社 ,1986
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
可计算性理论导引
李祥.贵州人民出版社,1986.
责任者 张宏裕
出版信息 天津科学技术出版社 ,1989.5
ISBN 7-5308-0384-0
可计算性理论
张宏裕.天津科学技术出版社,1989.5.
责任者 张鸣华
出版信息 清华大学出版社 ,1984
张鸣华.清华大学出版社,1984.
责任者 G. S. 布勒斯,,G. S. Boolos,,J. P. Burgess,
出版信息 电子工业出版社 ,2003.6
ISBN 7-5053-8828-2
可计算性与数理逻辑
G. S. 布勒斯,,G. S. Boolos,,J. P. Burgess,.电子工业出版社,2003.6.
责任者 Michael Sipser
出版信息 机械工业出版社 ,2006
ISBN 7-111-17327-9
计算理论导引：英文版·第2版
Michael Sipser.机械工业出版社,2006.
责任者 加贝,贡恰罗夫,扎哈里扬谢夫
出版信息 科学出版社 ,2020
ISBN 978-7-03-064635-4
应用逻辑中的数学问题
加贝,贡恰罗夫,扎哈里扬谢夫.科学出版社,2020.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
