检索到 8 条 分类号=O141.3 的结果
-
中文图书1.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/44
馆藏复本：3
可借复本：3 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书2.非递归因果模型 O141.3/6
馆藏复本：3
可借复本：3 (美)威廉·D. 贝里著
格致出版社 2022
(0) 馆藏 -
中文图书3.递归论 O141.3/5
馆藏复本：1
可借复本：1 模绍楑著
科学出版社 2015
(0) 馆藏 -
中文图书4.论可计算数:图灵与现代计算的诞生:the Birth of computer science O141.3/4
馆藏复本：2
可借复本：2 (美) 克里斯·伯恩哈特著
中信出版社 2016
(0) 馆藏 -
中文图书5.非递归因果模型 O141.3/3
馆藏复本：6
可借复本：6 (美) 威廉·D. 贝里著
格致出版社 2012.7
(0) 馆藏 -
中文图书6.递归可枚举集和图灵度:可计算函数与可计算生成集研究:a study of computable functions and computably... O141.3/1
馆藏复本：4
可借复本：4 Robert I. Soare
科学出版社 2007
(0) 馆藏 -
中文图书7.多值逻辑函数结构理论研究.版 O141.3/2*1
馆藏复本：2
可借复本：2 刘任任，欧阳建权著
科学出版社 2010
(0) 馆藏 -
中文图书8.多值逻辑函数结构理论研究.版 O141.3/2
馆藏复本：1
可借复本：1 刘任任，欧阳建权著
科学出版社 2010
(0) 馆藏
