文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP301.4/B982 | 可计算性与数理逻辑 | (美)[布勒斯]George S. Boolos,(美)John P. | 电子工业出版社 | 2005.7 |
| 2 | TP301.4/Z895 | 可计算性和计算复杂性 | 朱一清编著 | 国防工业出版社 | 2006.04 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP301.4/B982 | 可计算性与数理逻辑 | (美)[布勒斯]George S. Boolos,(美)John P. | 电子工业出版社 | 2005.7 |
| 2 | TP301.4/Z895 | 可计算性和计算复杂性 | 朱一清编著 | 国防工业出版社 | 2006.04 |