检索平台

检索条件: 【分类号=O144】,搜索结果总数: 15条, 耗时: 0.002 秒,排序: SORT_TYPE: 隐藏分类筛选 | 显示图表

O 数理科学和化学(15)

结果筛选

分馆

苍溪县图书馆

主题词

集论 (11)
集论公理系统-机器证明 (4)

文献类型

图书 (15)

出版时间

2020 (4)
2019 (11)

出版社

科学出版社 (15)

第一责任者

冯琦著 (11)
郁文生, 孙天宇, 付尧... (4)

15 条记录 1/2 页下一页 12

公理化集合论机器证明系统

标准编号:9787030640390  分类号:O144

第一责任者:郁文生, 孙天宇, 付尧顺著

出版社:科学出版社  出版时间:2020.3

价格:128.00
集合论导引

标准编号:9787030636232  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019.12

价格:198.00
集合论导引

标准编号:9787030636218  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019.12

价格:138.00
集合论导引

标准编号:9787030636218  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019.12

价格:138.00
公理化集合论机器证明系统

标准编号:9787030640390  分类号:O144

第一责任者:郁文生, 孙天宇, 付尧顺著

出版社:科学出版社  出版时间:2020.3

价格:128.00
集合论导引

标准编号:9787030636232  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019.12

价格:198.00
集合论导引

标准编号:9787030636218  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019.12

价格:138.00
公理化集合论机器证明系统

标准编号:9787030640390  分类号:O144

第一责任者:郁文生, 孙天宇, 付尧顺著

出版社:科学出版社  出版时间:2020

价格:CNY128.00
集合论导引

标准编号:9787030636232  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019

价格:CNY198.00
集合论导引

标准编号:9787030636218  分类号:O144

第一责任者:冯琦著

出版社:科学出版社  出版时间:2019

价格:CNY138.00

15 条记录 1/2 页下一页 12