当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0141秒）
为您推荐： 宗教生活的基本形式 维特根斯坦的生活形式 形式的起源 微分形式导论 形式逻辑 论思维形式与 方法
-
-
-
形式语义学基础与形式说明
屈延文编著2010 年出版496 页ISBN：9787030262387本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...
-
-
-
-
-
-
-
