设计形态语义学 艺术形态语义 【工业技术】

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

形式语义学引论 【工业技术】

形式语义学基础 【工业技术】

工程图形语义学 【工业技术】

形式语义学基础与形式说明 【工业技术】

理论计算机科学 形式语义学引论 【工业技术】

当代语言学理论丛书 形式语义学引论 【工业技术】

形式语义学的稳定论域理论 【工业技术】

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

形式语义学引论 第2版 【工业技术】

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

基于认知与计算的事件语义学研究 【工业技术】

本书探讨事件语义学的研究意义、研究对象与研究方法；从角度，分析与事件语义结构、事件语义关系和事件语义模式；研究事件语义自动标注方法，尝试基于事件语义模式的事件语义结构与语义关系的辅助及自动标注工具；在...