检索到 80 条 主题词=形式 的结果
-
中文图书1.形式主义莎评经典研究 I561.063/344
馆藏复本：1
可借复本：1 许勤超,刘昱君著
中国社会科学出版社 2024
(0) 馆藏 -
中文图书2.形式化方法:理论及应用:theory and applications TP301.2/222
馆藏复本：3
可借复本：3 华保健编著
中国科学技术大学出版社 2024
(0) 馆藏 -
中文图书3.自动机理论、语言和计算导论:典藏版 TP301/1841/4
馆藏复本：6
可借复本：6 (美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著
机械工业出版社 2022
(0) 馆藏 -
中文图书4.形式语言与自动机理论.第4版 TP301/433/6
馆藏复本：3
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2023
(0) 馆藏 -
中文图书5.形式化方法导论.第2版 TP301.2/102/2
馆藏复本：3
可借复本：3 张广泉编著
清华大学出版社 2023
(0) 馆藏 -
中文图书6.論理學.影印本 B812/413
馆藏复本：2
可借复本：2 (日) 大西祝著
上海科學技術文獻出版社 2023
(0) 馆藏 -
中文图书7.論理學通義.影印本 B812/4141
馆藏复本：2
可借复本：2 林可培編譯
上海科學技術文獻出版社 2023
(0) 馆藏 -
中文图书8.俄国形式主义的叙事理论研究 I512.09/440
馆藏复本：3
可借复本：3 杨燕等著
中国社会科学出版社 2022
(0) 馆藏 -
中文图书9.形式语言学新发展研究 TP301.2/210
馆藏复本：2
可借复本：2 程工, 沈园著
清华大学出版社 2022
(0) 馆藏 -
中文图书10.走向意义:形式语义学与维特根斯坦 TP301.2/170
馆藏复本：4
可借复本：4 (荷) 司马亭著
清华大学出版社 2022
(0) 馆藏 -
中文图书11.形式的起源 B025.2/504
馆藏复本：2
可借复本：1 (美) 克里斯托弗·威廉斯著
浙江教育出版社 2021
(0) 馆藏 -
中文图书12.深化知识表征与建模:语义图示的设计、开发与应用 TP301.2/793
馆藏复本：2
可借复本：2 顾小清, 权国龙著
华东师范大学出版社 2020
(0) 馆藏 -
中文图书13.应用逻辑中的数学问题 B812/470
馆藏复本：1
可借复本：0 (英) D.M. 加贝, (俄) S. S. 贡恰罗夫, (美) M. 扎哈里扬谢夫编
科学出版社 2020
(0) 馆藏 -
中文图书14.形式化方法在构件组装实时系统中的应用研究 TP316.2/0101
馆藏复本：2
可借复本：2 席琳, 马传连著
中央民族大学出版社 2019
(0) 馆藏 -
中文图书15.形式语义学要素:an introduction to the mathematical theory of meaning in natural language TP301.2/320
馆藏复本：2
可借复本：2 (荷) 约德·温特著
世界图书出版西安有限公司 2018
(0) 馆藏 -
中文图书16.赵毅衡形式理论文选 B812-53/402
馆藏复本：2
可借复本：2 赵毅衡著
北京大学出版社 2018
(0) 馆藏 -
中文图书17.马克思主义与形式 A81/2431
馆藏复本：2
可借复本：2 (美) 弗雷德里克·詹姆逊著
中国人民大学出版社 2018
(0) 馆藏 -
中文图书18.形式语言与自动机.第2版 TP301.2/440
馆藏复本：2
可借复本：1 杨娟, 石川, 王柏主编
北京邮电大学出版社 2017
(0) 馆藏 -
中文图书19.形式语义学引论.第2版 TP301.2/769
馆藏复本：2
可借复本：2 周巢尘, 詹乃军著
科学出版社 2017
(0) 馆藏 -
中文图书20.俄国形式主义历史与学说 I512.09/724
馆藏复本：2
可借复本：2 (美)V. 厄利希著
商务印书馆 2017
(0) 馆藏
