当前位置：首页 > 名称
大约有22,159项符合查询结果项。（搜索耗时：0.1591秒）
为您推荐： 微分形式 可视化微分几何和形式 微分形式与外 微分形式及其应用 数学物理中的微分形式_ 微分几何入门与广义相对论 中册
-
-
-
-
-
-
Z形式规约切片的研究
吴方君著2006 年出版185 页ISBN：7312013546本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...
-
-
-
-
学科分类
出版时间