书目信息 |
| 书名： | Recursively enumerable sets and degrees | |
| 作者： | Robert I. Soare. | |
| 分册号： | ||
| 分册名： | 出版地： | 北京 : |
|
| 出版社： | 科学出版社 | |
| 出版时间： | 2007. | |
| 页数： | xvi, 437 p. : | |
| 开本： | 25 cm. | |
| 丛书名： | 国外数学名著系列 | |
| 中图分类号： | ||
| 科图分类号： | ||
| 其他分类号： | H31:O141 | |
| 主题词： | ||
| 电子资源： | ||
| 000 | 04329cam a2201789 a 4500 | |
| 001 | 00000176245 | |
| 003 | CAL | |
| 005 | 20140317151403.37 | |
| 008 | 870107r20071987cc a b 001 0 eng d | |
| 020 | @a9787030182951. | |
| 040 | @aTSU@cTSU@dSCT | |
| 041 | 0 | @aeng@bchi |
| 050 | 4 | @aQA9.615@b.S63 1987 |
| 082 | 0 | @a511.3@219 |
| 093 | @aO141.3@24 | |
| 094 | @a51.35@23 | |
| 099 | @dH31:O141@e5 | |
| 100 | 1 | @aSoare, R. I.@q(Robert Irving),@d1940- |
| 245 | 10 | @aRecursively enumerable sets and degrees :@ba study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 / @cRobert I. Soare. |
| 246 | 31 | @a递归可枚举集和图灵度 :@b可计算函数与可计算生成集研究 |
| 260 | @a北京 :@b科学出版社,@c2007. | |
| 300 | @axvi, 437 p. :@bill. ;@c25 cm. | |
| 440 | 0 | @a国外数学名著系列 ;@v31 |
| 504 | @aIncludes bibliographical references (p. [389]-418) and indexes. | |
| 534 | @pReprint. Originally published:@cBerlin ; New York : Springer-Verlag, c1987.@z0387152997 (U.S.) | |
| 650 | 0 | @aRecursive functions. |
| 650 | 0 | @aComputable functions. |
| 905 | @a241250 | |
| 920 | @a211050@z2 | |
| 920 | @a221020@z1 | |
| 920 | @a211030@z2 | |
| 920 | @a231220@z2 | |
| 920 | @a231280@z2 | |
| 920 | @a211260@z1 | |
| 920 | @a231400@z1 | |
| 920 | @aF44010@z2 | |
| 920 | @a251430@z2 | |
| 920 | @a211060@z1 | |
| 920 | @a211090@z2 | |
| 920 | @a212010@z1 | |
| 920 | @a251050@z1 | |
| 920 | @a261030@z2 | |
| 920 | @a244180@z2 | |
| 920 | @a235030@z1 | |
| 920 | @a222040@z2 | |
| 920 | @a212020@z1 | |
| 920 | @a251010@z1 | |
| 920 | @a242250@z1 | |
| 920 | @a246040@z1 | |
| 920 | @a232090@z2 | |
| 920 | @a244070@z1 | |
| 920 | @a231030@z1 | |
| 920 | @a215010@z2 | |
| 920 | @a233020@z2 | |
| 920 | @a242030@z2 | |
| 920 | @a244020@z2 | |
| 920 | @a243325@z1 | |
| 920 | @a262010@z1 | |
| 920 | @a222010@z1 | |
| 920 | @a211020@z2 | |
| 920 | @a232010@z2 | |
| 920 | @a261020@z1 | |
| 920 | @a244010@z1 | |
| 920 | @a242440@z2 | |
| 920 | @a211130@z1 | |
| 920 | @a244050@z1 | |
| 920 | @a211100@z1 | |
| 920 | @a211070@z1 | |
| 920 | 1 | @a234050@z1 |
| 920 | 1 | @a234010@z1 |
| 920 | 1 | @a234080@z1 |
| 920 | 1 | @a221070@z1 |
| 920 | 1 | @a211162@z1 |
| 920 | 1 | @a211261@z1 |
| 920 | @a242020@z1 | |
| 920 | @a211500@z2 | |
| 920 | @a231010@z1 | |
| 920 | 1 | @a211340@z1 |
| 920 | 1 | @a244450@z1 |
| 920 | 1 | @a236020@z1 |
| 920 | 1 | @a244055@z1 |
| 920 | 1 | @a245020@z1 |
| 920 | 1 | @a245120@z1 |
| 920 | 1 | @a252070@z1 |
| 920 | 1 | @a244370@z1 |
| 920 | 1 | @a242150@z1 |
| 920 | 1 | @a242240@z1 |
| 920 | 1 | @a223060@z1 |
| 920 | 1 | @a223020@z1 |
| 920 | 1 | @a223025@z1 |
| 920 | 1 | @a223010@z1 |
| 920 | 1 | @a241170@z1 |
| 920 | 1 | @a243031@z1 |
| 920 | 1 | @a215100@z1 |
| 920 | 1 | @a236120@z1 |
| 920 | 1 | @a236080@z1 |
| 920 | 1 | @a242280@z1 |
| 920 | 1 | @a221490@z1 |
| 920 | 1 | @a232140@z1 |
| 920 | 1 | @a221080@z1 |
| 920 | 1 | @a237290@z1 |
| 920 | 1 | @a235280@z1 |
| 920 | 1 | @a211168@z1 |
| 920 | 1 | @a221060@z1 |
| 920 | 1 | @a232330@z1 |
| 920 | @a211040@z2 | |
| 920 | 1 | @a233104@z1 |
| 920 | 1 | @a232390@z1 |
| 920 | 1 | @a232151@z1 |
| 920 | 1 | @a262070@z1 |
| 920 | 1 | @a223101@z1 |
| 920 | 1 | @a237410@z1 |
| 920 | 1 | @a237010@z1 |
| 920 | 1 | @a232020@z1 |
| 920 | 1 | @a231231@z1 |
| 920 | 1 | @a261220@z1 |
| 920 | 1 | @a244030@z1 |
| 920 | 1 | @a251040@z1 |
| 920 | 1 | @a262130@z1 |
| 920 | 1 | @a221050@z1 |
| 920 | 1 | @a212130@z1 |
| 920 | 1 | @a231020@z1 |
| 920 | 1 | @a233170@z1 |
| 920 | 1 | @a244067@z1 |
| 920 | 1 | @a231151@z1 |
| 920 | 1 | @a242050@z1 |
| 920 | 1 | @a299008@z1 |
| 920 | 1 | @a242120@z1 |
| 920 | 1 | @a242140@z1 |
| 920 | 1 | @a233100@z1 |
| 920 | 1 | @a261090@z1 |
| 920 | 1 | @a261050@z1 |
| 920 | 1 | @a265051@z1 |
| 920 | 1 | @a235010@z1 |
| 920 | 1 | @a242340@z1 |
| 920 | 1 | @a242471@z1 |
| 920 | 1 | @a213015@z1 |
| 920 | 1 | @a233250@z1 |
| 920 | 1 | @a241031@z1 |
| 920 | 1 | @a235170@z1 |
| 920 | @a245010@z2 | |
| 920 | @a243040@z1 | |
| 920 | @a242010@z2 | |
| 920 | @a221120@z1 | |
| 920 | @a242170@z1 | |
| 920 | @a244290@z2 | |
| 920 | @a237020@z2 | |
| 920 | @a211010@z2 | |
| 920 | 1 | @a251020@z1 |
| 920 | 1 | @a222240@z1 |
| 920 | 1 | @a211270@z1 |
| 998 | @aTSU | |
| Recursively enumerable sets and degrees : : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 / / Robert I. Soare.-北京 : : 科学出版社, , 2007. |
| xvi, 437 p. : : ill. ; ; 25 cm.- (国外数学名著系列 ; 31) |
| Includes bibliographical references (p. [389]-418) and indexes. |
| ISBN 9787030182951. |
| ● |
| 相关链接 |
正题名：Recursively enumerable sets and degrees
索取号：H31:O141/5
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1159154 | 211591543 | 样本书库/4110880303/ [索取号:H31:O141/5] | 在馆 | |
| 2 | 1159155 | 211591552 | 西文书库/4110880303/ [索取号:H31:O141/5] | 在馆 | |
| 3 | 1159156 | 211591561 | 西文书库/4110880303/ [索取号:H31:O141/5] | 在馆 |