检索到 73 条 分类号=O14 的结果
-
中文图书1.数理逻辑基础教程 O141/13
馆藏复本：2
可借复本：0 张峰编著
清华大学出版社 2025
(0) 馆藏 -
中文图书2.MATLAB数学建模方法与实践.4版 O141.4/16=4
馆藏复本：2
可借复本：0 卓金武，萨和雅，王鸿钧编著
北京航空航天大学出版社 2023
(0) 馆藏 -
中文图书3.中国表示法及其逻辑研究
馆藏复本：0
可借复本：0 杜国平著
中国社会科学出版社 2023
(0) 馆藏 -
中文图书4.数理逻辑的思想和方法
馆藏复本：0
可借复本：0 昂扬编著
上海人民出版社 2024
(0) 馆藏 -
中文图书5.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
馆藏复本：0
可借复本：0 (德)迈克尔·休斯(Michael Huth)，(英)马克·莱恩(Mark Ryan)著
机械工业出版社 2025
(0) 馆藏 -
中文图书6.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/12
馆藏复本：2
可借复本：0 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书7.多层次模型 O141.3/1
馆藏复本：2
可借复本：0 (美)道格拉斯·A. 卢克(Douglas A. Luke)著
格致出版社 2023
(0) 馆藏 -
中文图书8.蒙特卡洛的密码锁:环环相扣的逻辑谜题 O141-49/1
馆藏复本：2
可借复本：0 (美)雷蒙德·M. 斯穆里安著
上海科技教育出版社有限公司 2024
(0) 馆藏 -
中文图书9.数理逻辑引论.2版
馆藏复本：0
可借复本：0 朱梧槚等编著
大连理工大学出版社 2023.01
(0) 馆藏 -
中文图书10.线性代数与数学模型.3版
馆藏复本：0
可借复本：0 电子科技大学成都学院文理学院编
科学出版社 2025.03
(0) 馆藏 -
中文图书11.真相永远只有一个:跟柯南学逻辑推理
馆藏复本：0
可借复本：0 (日)上野豪著
中国人民大学出版社 2024.02
(0) 馆藏 -
中文图书12.增强现实算法基础
馆藏复本：0
可借复本：0 秦学英等编著
清华大学出版社 2023.03
(0) 馆藏 -
中文图书13.从数学到哲学
馆藏复本：0
可借复本：0 (美) 王浩著
广西师范大学出版社 2024
(0) 馆藏 -
中文图书14.为什么是数学:关于数学建模和科学思维的30次对话
馆藏复本：0
可借复本：0 朱浩楠著
人民邮电出版社 2024
(0) 馆藏 -
中文图书15.证明的故事:从勾股定理到现代数学:logic and the history of mathematics
馆藏复本：0
可借复本：0 (澳) 约翰·史迪威著
人民邮电出版社 2025
(0) 馆藏 -
中文图书16.逻辑迷宫
馆藏复本：0
可借复本：0 (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书17.逻辑迷宫
馆藏复本：0
可借复本：0 (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书18.Calabi-Yau三角范畴中扭对的分类及其应用 O141/11
馆藏复本：2
可借复本：2 常会敏著
华中科技大学出版社 2023.08
(0) 馆藏 -
中文图书19.福尔摩斯的棋盘:关于国际象棋的推理题 O141/10
馆藏复本：2
可借复本：2 (美)雷蒙德·M.斯穆里安著
上海科技教育出版社有限公司 2024
(0) 馆藏 -
中文图书20.实验设计与建模.2版 O212.6/9=2
馆藏复本：2
可借复本：2 方开泰，刘民千，周永道主编
高等教育出版社 2024
(0) 馆藏
