汉语框架语义网

从本书所呈现的研究结果看，我们的语义资源建设工作具有较强的科学性和先进性，观点鲜明、论据翔实、结论可靠。其研究结果可以作为信息抽取、机器翻译、事件识别、情感分析等计算机应用的基础资源和关键技术。...

现代汉语维度形容词语义及其计算机识别研究

维度形容词是描述物体各个维度特征的形容词，现代汉语共7对维度形容词，分别为“大-小”、“高-低/矮”、“长-短”、“宽-窄”、“深-浅”、“厚-薄”和“粗-细”，这些词聚合起来形成了一个封闭的词汇系统。本...

设计形态语义学 艺术形态语义

本书介绍了化学工业设计与现代设计等专业的基础知识。

形式语义学引论

形式语义学基础

工程图形语义学

形式语义学基础与形式说明

理论计算机科学 形式语义学引论

当代语言学理论丛书 形式语义学引论

形式语义学的稳定论域理论

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。