名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 李娜 , 检索到: 13 条结果, 检索时间: 0.031 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
机器证明的逻辑推定
著者: 李娜
出版社: 科学出版社   出版日期: 2023
文献类型: 图书 , 索书号: O141/104
2.
公理化集合论
著者: 李娜
出版社: 南开大学出版社   出版日期: 2020
文献类型: 图书 , 索书号: O144.3/2
3.
著者: 李娜
出版社: 中国水利水电出版社   出版日期: 2015
文献类型: 图书 , 索书号: O151.2/679
4.
数理逻辑的思想与方法 已借1次.
著者: 李娜
出版社: 南开大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: O141/91
5.
著者: 李娜
出版社: 北京师范大学出版社   出版日期: 2011
文献类型: 图书 , 索书号: O144.3/1
6.
数理逻辑实验教程
著者: 李娜
出版社: 武汉大学出版社   出版日期: 2010
文献类型: 图书 , 索书号: O141/87
7.
MATLAB与数学建模 已借18次.
出版社: 科学出版社   出版日期: 2018
文献类型: 图书 , 索书号: O141.4-39/3
8.
出版社: 电子工业出版社   出版日期: 2013
文献类型: 图书 , 索书号: O441.4-39/13
9.
数理统计与 MATLAB 数据处理 已借8次.
出版社: 东北大学出版社   出版日期: 2008
文献类型: 图书 , 索书号: O212/118
10.
出版社: 机械工业出版社   出版日期: 2019
文献类型: 图书 , 索书号: O13-33/52