当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0128秒）
为您推荐： 人文 医院人文关怀 人文关怀的论文 中国历史人文地理 导论 医院人文志愿者
-
-
-
-
-
-
-
-
形式语义学的稳定论域理论
陈仪香著2003 年出版205 页ISBN：7030112644本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。
-
形式语义学引论 第2版
周巢尘，詹乃军著2017 年出版150 页ISBN：9787030533838本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...
-
基于认知与计算的事件语义学研究
刘茂福，胡慧君著2013 年出版199 页ISBN：9787030373687本书探讨事件语义学的研究意义、研究对象与研究方法；从角度，分析与事件语义结构、事件语义关系和事件语义模式；研究事件语义自动标注方法，尝试基于事件语义模式的事件语义结构与语义关系的辅助及自动标注工具；在...
学科分类