000 |
|
01183nam0 2200313 450 |
010 |
__ |
■a978-7-03-032410-8■dCNY34.00 |
100 |
__ |
■a20131009d2011 em y0chiy0121 ea |
101 |
0_ |
■achi |
102 |
__ |
■aCN■b110000 |
105 |
__ |
■ay z 001yy |
106 |
__ |
■ar |
200 |
1_ |
■a计算理论与符号逻辑■f张兴元, 王元元, 宋丽华编著■AJi Suan Li Lun Yu Fu Hao Luo J+...... |
210 |
__ |
■a北京■c科学出版社■d2011 |
215 |
__ |
■a270页■d26cm |
300 |
__ |
■a普通高等教育“十一五”国家级规划教材 |
300 |
__ |
■a并列题名:Computation theory and symbolic logic |
312 |
__ |
■a封面英文题名:Computation theory and symbolic logic |
330 |
__ |
■a本书共十五章,主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之+...... |
510 |
1_ |
■aComputation theory and symbolic logic■zeng |
606 |
0_ |
■a计算技术■j教材■x理论■x高等教育 |
606 |
0_ |
■a数理逻辑■j教材■x高等教育 |
690 |
__ |
■aO141-43■v4 |
690 |
__ |
■aTP301-43■v4 |
701 |
_0 |
■a王元元■4编著■AWang Yuan Yuan |
701 |
_0 |
■a宋丽华■4编著■ASong Li Hua |
701 |
_0 |
■a张兴元■4编著■AZhang Xing Yuan |
801 |
_0 |
■aCN■bGSXY■c20131012 |
905 |
|
■aGSXY■fO141-43/Z866■g0944587■g0944588■g0944589■g0944590 |
999 |
__ |
■tC■Acj■a20131009 11:04:42■Mlwq■m20131012 15:00:21 |