theorem proving
定理证明
theorem proving网络翻译
...阐发2)和一些 bug 标准样式举行比力,终极标示需要别人解答的题目地区范围,输出阐发成果3)施用了分外的定理证实(theorem proving)技能来判断1个潜在的纰缪是不是是真正的纰缪,从而减缓了步伐员判断纰缪真伪所需的事情量9.
理验证...括： 说明（specification） 验证（verification） • 形式验证包括： 模型检验（model checking） 推理验证（theorem proving） 模型检验 • 模型检验是一种自动验证有穷状态系统 的技术。
定理验证... 定物 earnest 定理 theorem 定理验证 theorem proving ...
theorem proving常用短语
1. theorem proving machine：定理证明机
2. theorem-proving：[数] 定理证明
3. theorem proving system：定理证明系统
4. theorem proving method：定理证明法
5. resolution theorem proving：归结定理证明消解式定理证明
6. theorem proving by resolution：按分解律的定理证明
theorem proving双语例句
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
相关单词
- tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
- tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
- trimestern. 三个月；一学期
- trigonometryn. 三角学
- trapezen. 秋千；吊架
- transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
- trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
- tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
- tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
- to pass an examination
- tights紧身裤袜
- tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列 【名】 （Tier）（英）蒂尔（人名）
- telecommunicationsn. 电信，电讯
- teachersn. 教师（teacher 的复数形式）
- taxationn. 征税，税制；税款