文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O13/Z054 | 数学实验与数学建模 | 詹棠森, 方成鸿主编 | 中国铁道出版社有限公司 | 2023.04 |
| 2 | O13/Z2321 | 数学实验与数学建模基础 | 张勇, 李厚彪, 彭小帆等编著 | 电子工业出版社 | 2022.09 |
| 3 | O13-33/Z160 | 数学实验与数学建模 | 张圣勤主编 | 复旦大学出版社 | 2008.12 |
| 4 | O13-33/Z852 | 数学实验与数学建模 | 朱婧, 司新辉编 | 机械工业出版社 | 2021.07 |
| 5 | O14 | course in mathematical logic | by J. L. Bell and M. Machover | 世界图书出版公司 | 2015 |
| 6 | O141.1-44/H333 | 数学建模竞赛赛题简析与论文点评 | 赫孝良,戴永红,周义仓编著 | 西安交通大学出版社 | 2002.06 |
| 7 | O141.2/S570 | 证明的故事 | (澳) 约翰·史迪威著;程晓亮, 张浩译 | 人民邮电出版社 | 2025.02 |
| 8 | O141.3/H144 | 递归论 | 郝兆宽, 杨睿之, 杨跃著 | 复旦大学出版社 | 2018.10 |
| 9 | O141.3/J600 | 模型降阶方法 | 蒋耀林著 | 科学出版社 | 2010.06 |
| 10 | O141.3/L667 | 多值逻辑函数结构理论研究 | 刘任任, 欧阳建权著 | 科学出版社 | 2010.01 |