单词
文章
取名
英语词组短语
resolution theorem proving
英美
归结定理证明
resolution theorem proving网络翻译
归结定理证明消解式定理证明
... resolution error 分辨误差 resolution theorem proving 归结定理证明消解式定理证明 resolver 解算装置 ...
resolution theorem proving双语例句
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
相关单词
- 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. 征税，税制；税款