当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0126秒）
为您推荐： 微分形式 可视化微分几何和形式 微分形式与外 微分形式及其应用 微分几何入门与广义相对论 中册 微分形式导论
-
-
-
-
-
-
-
形式语义学基础与形式说明
屈延文编著2010 年出版496 页ISBN：9787030262387本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...
-
-
-
学科分类