检索条件： 可计算性理论 ( 题名 )
责任者 莫绍揆, 王元元
出版信息 科学出版社
ISBN 7-03-000061-7
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
可计算性理论
莫绍揆, 王元元.科学出版社,.
出版信息 科学出版社 ,19870101
莫绍揆, 王元元.科学出版社,19870101.
责任者 张鸣华
出版信息 清华大学出版社 ,19840101
ISBN 0
张鸣华.清华大学出版社,19840101.
责任者 (美)Michael Sipser
出版信息 机械工业出版社 ,20060101
ISBN 7-111-17327-9
计算理论导引: 英文版
(美)Michael Sipser.机械工业出版社,20060101.
责任者 (美)George S.Boolos, (美)John P.Burgess, (美)Richard C.Jeffrey
出版信息 电子工业出版社 ,20050101
ISBN 7-121-00779-7
可计算性与数理逻辑
(美)George S.Boolos, (美)John P.Burgess, (美)Richard C.Jeffrey.电子工业出版社,20050101.
责任者 张再跃，张晓如
出版信息 清华大学出版社 ,20130101
ISBN 978-7-302-33102-5
数理逻辑
张再跃，张晓如.清华大学出版社,20130101.
责任者 (美)西普塞(Sipser,M.)
出版信息 机械工业出版社 ,20150601
ISBN 978-7-111-49971-8
计算理论导引
(美)西普塞(Sipser,M.).机械工业出版社,20150601.
责任者 ( )汉密尔顿,(A. G. Hamilton)
出版信息 清华大学出版社 ,20030101
ISBN 7-302-06810-0
( )汉密尔顿,(A. G. Hamilton).清华大学出版社,20030101.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
