网站首页
词典首页
请输入您要查询的英文单词:
单词
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
更多释义
收起释义
例句
随便看
monovulatory
Monowai
mono-wall
monowall tube
monowheel
monowheel chassis
monowheel rotary ditcher
Monowi
monowing
monox
monox
monoxenic culture
monoxenie
monoxenous
monoxenous form
monoxenous parasitism
monoxeny
monoxerutin
monoxid
monoxide
monoxide carbon
Monoxide,Carbon
Monoxide,Nitrogen
monoxide nitrogen
monoxide
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/9 6:07:33