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


保存至书单:
1.
出版社: 科学出版社   出版日期: 2022.09
文献类型: 图书 , 索书号: O316/27
2.
著者: 李建华
出版社: 机械工业出版社   出版日期: 2010
文献类型: 图书 , 索书号: TP393.08/422
3.
著者: 胡惮
出版社: 中国社会科学出版社   出版日期: 2011
文献类型: 图书 , 索书号: H14/339
4.
出版社: 电子工业出版社   出版日期: 2022
文献类型: 图书 , 索书号: TP311.5/718
5.
著者: 褚蓥
出版社: 暨南大学出版社   出版日期: 2022
文献类型: 图书 , 索书号: B804/122
6.
文学与形式
出版社: 南京大学出版社   出版日期: 2011
文献类型: 图书 , 索书号: I0-53/54
7.
著者: 周建武
出版社: 中国人民大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: B81/227
8.
语言的逻辑句法
出版社: 商务印书馆   出版日期: 2022
文献类型: 图书 , 索书号: H043/25
9.
动态偏好逻辑 已借2次.
著者: 刘奋荣
出版社: 科学出版社   出版日期: 2010
文献类型: 图书 , 索书号: B815.3/3
10.
徐利治谈数学方法论 已借5次.
著者: 徐利治
出版社: 大连理工大学出版社   出版日期: 2008
文献类型: 图书 , 索书号: O1-0/131