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