... deductive science 演绎科学 deductive theorem 演绎定理演绎定理 deductive theory 演绎理论 ...
基于58个网页-相关网页
fuzzy deductive theorem 模糊演绎定理
generalized deductive theorem 广义演绎定理
·2,447,543篇论文数据，部分数据来源于NoteExpress
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
youdao
应用推荐
模块上移
模块下移
不移动