当前位置:首页 > 名称
大约有800项符合查询结果项。(搜索耗时:0.0153秒)
为您推荐: 基于代数推理的课堂教学研究 推理导论 图形推理 推理 基于包含度的不确定推理 图尔敏推理导论
-
可积系统与计算机代数 【工业技术】
范恩贵著2004 年出版178 页ISBN:703013043X本书介绍了作者在孤立子和可积系统方面的研究成果以及吴方法和符号运算在这一领域的应用,整理收集了作者在研究过程中发现的200余个偏微分方程。...
-
-
-
进程代数 对称与动作细化 【工业技术】
王永祥,吴心昭,蒋建民著2007 年出版88 页ISBN:7030188659本书针对进程代数语言提出了对称性的概念,并给出了对称约简算法,同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的,最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...
-
-
-
工程数学:线性代数 概率论 复变函数 积分变换 【工业技术】
周忠荣等编著2009 年出版252 页ISBN:9787122040718本书包括线性代数、概率论、复变函数、积分变换等方面的基本知识。
-
-
-
学科分类
