检索到 61 条 主题词=形式 的结果
-
中文图书1.走向意义:形式语义学与维持根斯坦 TP301.2/17
馆藏复本：3
可借复本：2 (荷)司马亭(Martin Stokhof)著
清华大学出版社 2022
(0) 馆藏 -
中文图书2.自动机理论、语言和计算导论 TP301.1/8
馆藏复本：2
可借复本：1 (美)约翰·E. 霍普克罗夫特(John E. Hopcroft)，(美)拉杰夫·莫特瓦尼(Rajeev Motwani)，(美)杰弗里·D....
机械工业出版社 2022
(0) 馆藏 -
中文图书3.形式逻辑与辩证法 B812/56
馆藏复本：1
可借复本：0 周谷城著
科学出版社 1959
(0) 馆藏 -
中文图书4.深化知识表征与建模:语义图示的设计、开发与应用 TP301.2/15
馆藏复本：3
可借复本：2 顾小清, 权国龙著
华东师范大学出版社 2020
(0) 馆藏 -
中文图书5.詹姆逊形式理论研究 B025.2/1
馆藏复本：2
可借复本：1 王瑞瑞著
中国社会科学出版社 2020
(0) 馆藏 -
中文图书6.应用逻辑中的数学问题 B812/54
馆藏复本：2
可借复本：1 (英)D.M. 加贝，(俄)S.S. 贡恰罗夫，(美)M. 扎哈里扬谢夫编
科学出版社 2020
(0) 馆藏 -
中文图书7.形式逻辑学 B812/44
馆藏复本：11
可借复本：11 田亮, 石宝丽主编
陕西人民出版社 2005
(0) 馆藏 -
中文图书8.形式逻辑要现代化:家龙师谈逻辑 B812/53
馆藏复本：3
可借复本：2 刘新文, 贾青编
科学出版社 2018
(0) 馆藏 -
中文图书9.形式语义学引论.第2版 TP301.2/13=2
馆藏复本：3
可借复本：2 周巢尘，詹乃军著
科学出版社 2017
(0) 馆藏 -
中文图书10.俄国形式主义:历史与学说 I512.09/7
馆藏复本：3
可借复本：3 (美) V.厄利希著
商务印书馆 2017
(0) 馆藏 -
中文图书11.逻辑学教程 B812/42
馆藏复本：4
可借复本：4 何向东主编
高等教育出版社 1999
(0) 馆藏 -
中文图书12.形式逻辑:高教版 B812/45
馆藏复本：3
可借复本：3 樊明亚主编
高等教育出版社 1999
(0) 馆藏 -
中文图书13.形式语言与自动机.第2版 TP301.1/2=2
馆藏复本：3
可借复本：2 杨娟, 石川, 王柏主编
北京邮电大学出版社 2017
(0) 馆藏 -
中文图书14.人的逻辑与物的逻辑:重思辩证法和形式逻辑的关系 B015/4
馆藏复本：3
可借复本：2 葛宇宁著
中国社会科学出版社 2016
(0) 馆藏 -
中文图书15.符号学视野下的先秦名辩学研究 B812/51
馆藏复本：3
可借复本：2 陈道德, 曾祥云著
人民出版社 2017
(0) 馆藏 -
中文图书16.形式逻辑·辩证逻辑·科学 B812/50
馆藏复本：2
可借复本：1 李浙生著
中国社会科学出版社 2017
(0) 馆藏 -
中文图书17.计算系统的形式语义.下 TP301.2/11-2
馆藏复本：2
可借复本：1 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书18.计算系统的形式语义.上 TP301.2/11-1
馆藏复本：2
可借复本：1 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书19.形式语言及其与自动机的关系 TP314/2
馆藏复本：16
可借复本：16 (美)霍普克罗夫特(J.E.Hopcroft),(美)厄尔曼(J.D.Ullman)著
科学出版社 1979
(0) 馆藏 -
中文图书20.逻辑学 B81/60
馆藏复本：1
可借复本：1 中国人民大学哲学系逻辑教研室编
中国人民大学出版社 1996
(0) 馆藏
