网站首页
词典首页
请输入您要查询的英文单词：
单词
theoremproving
释义
theorem proving
美
英
un.
定理证明
网络
定理证明法；定理证明方法；定理机器证明
英汉
网络释义
un.
1.
定理证明
1.
定理证明
定理证明
(
theorem proving
)是一种形式验证方法，它是根据已构造的规格说明生成反映该规格说明应具有的性质，将其表示成定 …
cdmd.cnki.com.cn
2.
定理证明法
定理证明法
(
theorem proving
)－藉由我们提出的高等Petri Net转换方式，我们把自动定理证明这种推论方式，用来求Petri Net的 …
researcher.nsc.gov.tw
3.
定理证明方法
1.2.3
定理证明方法
(
Theorem Proving
)18-19 1.2.4 程序分析方法19-20 1.3 本文主要工作及意义20 1.4 本文结构20-22 第二章 安 …
cdmd.cnki.com.cn
4.
定理机器证明
...ert consulting system)
定理机器证明
(
theorem proving
)
博弈(game playing)
机器人学(robotics)
自动程序设计(automatic pr...
www.docin.com
5.
定律证明
...它集成了模型验证(Model Checking)、
定律证明
(
Theorem Proving
)的工具支持,验证能力强.该文对这种软件方法的几个 核心问 …
www.docin.com
6.
按分解律的定理证明
t z T... ... 定理证明 theorem proving
按分解律的定理证明
theorem proving
按分解律反演的定理证明 by resolution refutation ...
www.docstoc.com
更多释义
收起释义
例句
随便看
deformity correction
Deformity due to adhesions
deformity, malformation
deformity of bladder
deformity of ear
deformity of external ear
deformity of hip joint
deformity of kidney
deformity of knee
deformity of knee-joint
deformity of knee joint
deformity of nose
Deformity of orbit
deformity of pelvis
deformity of pyloric ring
deformity of rectum
deformity of scrotum
deformity of spinal column
Deformity of spinal cord
deformity of spine
deformity of the pelvis
deformity of ureter
deformity of urethra
deformity of vas deferens
deformographic storage display tube
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/8/18 22:21:47