检索条件： Recursive s. ( 主题词 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 /
责任者 Robert I. Soare.

出版信息科学出版社, ,2007

ISBN 978-7-03-018295-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Robert I. Soare..Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 /.科学出版社,,2007.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/244901
复制引文到剪贴板

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 /

Robert I. Soare..科学出版社,,2007.
2 图书 Recursive macroeconomic theory /
责任者 Sargent, Thomas J.

出版信息 MIT Press, ,c2012.

ISBN 9780262018746 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sargent, Thomas J..Recursive macroeconomic theory /.MIT Press,,c2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/411096
复制引文到剪贴板

Recursive macroeconomic theory /

Sargent, Thomas J..MIT Press,,c2012..
3 图书 Computability and logic.
责任者 Burgess, John P.,,Jeffrey, Richard C.

出版信息 Cambridge University Press, ,2007.

ISBN 978-0-521-87752-7 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Burgess, John P.,,Jeffrey, Richard C..Computability and logic..Cambridge University Press,,2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/280614
复制引文到剪贴板

Computability and logic.

Burgess, John P.,,Jeffrey, Richard C..Cambridge University Press,,2007..
4 图书 Computability and logic =: 可计算性与数理逻辑 /
责任者 Burgess, John P.,,Jeffrey, Richard C.

出版信息 Pub. House of Electronic Industry, ,2003.

ISBN 7-5053-8828-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Burgess, John P.,,Jeffrey, Richard C..Computability and logic =: 可计算性与数理逻辑 /.Pub. House of Electronic Industry,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/666
复制引文到剪贴板

Computability and logic =: 可计算性与数理逻辑 /

Burgess, John P.,,Jeffrey, Richard C..Pub. House of Electronic Industry,,2003..

通借成功!

预约成功!