检索到 8 条 主题词=形式语义 的结果
-
中文图书1.走向意义:形式语义学与维持根斯坦 TP301.2/17
馆藏复本：3
可借复本：2 (荷)司马亭(Martin Stokhof)著
清华大学出版社 2022
(0) 馆藏 -
中文图书2.深化知识表征与建模:语义图示的设计、开发与应用 TP301.2/15
馆藏复本：3
可借复本：2 顾小清, 权国龙著
华东师范大学出版社 2020
(0) 馆藏 -
中文图书3.形式语义学引论.第2版 TP301.2/13=2
馆藏复本：3
可借复本：2 周巢尘，詹乃军著
科学出版社 2017
(0) 馆藏 -
中文图书4.计算系统的形式语义.上 TP301.2/11-1
馆藏复本：2
可借复本：1 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书5.计算系统的形式语义.下 TP301.2/11-2
馆藏复本：2
可借复本：1 陆汝钤著
清华大学出版社 2017
(0) 馆藏 -
中文图书6.形式语义学引论 H030/18
馆藏复本：4
可借复本：3 蒋严, 潘海华著
中国社会科学出版社 2005
(0) 馆藏 -
中文图书7.形式语义学基础与形式说明 TP301.2/6=2
馆藏复本：2
可借复本：2 屈延文编著
科学出版社 2010
(0) 馆藏 -
中文图书8.形式语义学的稳定论域理论 TP301.2/3
馆藏复本：6
可借复本：6 陈仪香著
科学出版社 2003
(0) 馆藏
