当前位置：首页 > 名称
大约有200项符合查询结果项。（搜索耗时：0.0096秒）
为您推荐： 可视化微分几何和形式 詹建俊写意油画形式语言研究 绘画形式语言与创新研究 形式逻辑 货币价值 国民财富的保有形式与经济危机 论思维形式与 方法
-
-
形式语义学基础与形式说明
屈延文编著2010 年出版496 页ISBN：9787030262387本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...
-
-
-
-
-
-
-
-
学科分类
出版时间