定理证明
- n.theorem proving
- 网络theory proving; theorem proof; Theory Prover
定理证明定理证明
theorem proving
定理证明(theorem proving)是一种形式验证方法，它是根据已构造的规格说明生成反映该规格说明应具有的性质，将其表示成定 …
theory proving
计算机英语（高频常用总结） PDF - 豆丁网 ... overwhelm v. 制服 theory proving 定理证明 application n. 应用 ...
theorem proof
...三) Vogel研究方法分类架构 1. 定理证明 定理证明(theorem proof)：各学科诸如电脑科 学等各种应用领域的研究。
Theory Prover
...odel Checking）（也被称作特性检查）和定理证明(Theory Prover) 。
Theorem Proven
... 模型检查(Model Checking) 定理证明(Theorem Proven) 下面简单一下三种方法的原理及应用的范围。
Automatic Mechanical Theory Proving
...器学习(Machine Learning)、自动 定理证明(Automatic Mechanical Theory Proving)、自然语言理解(Natural Language Unders…
Theorem Providing
...Language Understanding ），定理证明（Theorem Providing），机器学习（Machine Learning），人工神经网络（Artificial …