检索词: 形式化 , 检索到: 9 条结果, 检索时间: 0.047 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

O14 数理逻辑-数学基础 (2)

O15 代数-数论-组合理论 (2)

O17 数学分析 (2)

O23 控制论,信息论(数学理论) (1)

回到上一级分类

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		矩阵结构与矩阵函数的形式化订购中 (含光盘) 著者: 施智平吴爱轩关永出版社: 科学出版社出版日期: 2023 文献类型: 图书 , 索书号: O151/23 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		分数阶系统高阶逻辑形式化验证订购中 (含光盘) 著者: 赵春娜蒋慕蓉出版社: 科学出版社出版日期: 2023 文献类型: 图书 , 索书号: O172/433 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		数学思维论订购中 (含光盘) 著者: 任樟辉出版社: 广西教育出版社出版日期: 1990.9 文献类型: 图书 , 索书号: O1-0/92 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		公理化集合论机器证明系统订购中 (含光盘) 著者: 郁文生孙天宇付尧顺出版社: 科学出版社出版日期: 2020 文献类型: 图书 , 索书号: O144/49 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		徐利治谈数学方法论已借5次. 订购中 (含光盘) 著者: 徐利治出版社: 大连理工大学出版社出版日期: 2008 文献类型: 图书 , 索书号: O1-0/131 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.		数学与思维已借2次. 订购中 (含光盘) 著者: 徐利治王前出版社: 大连理工大学出版社出版日期: 2008 文献类型: 图书 , 索书号: O1-05/8 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	7.		分析基础机器证明系统订购中 (含光盘) 著者: 郁文生付尧顺郭礼权出版社: 科学出版社出版日期: 2022 文献类型: 图书 , 索书号: O171/19 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	8.		离散数学已借1次. 订购中 (含光盘) 著者: 朱保平陆建峰金忠出版社: 清华大学出版社出版日期: 2019 文献类型: 图书 , 索书号: O158/234 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	9.		数理逻辑十二讲订购中 (含光盘) 著者: 宋方敏吴骏出版社: 机械工业出版社出版日期: 2018 文献类型: 图书 , 索书号: O141/99 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved