verification theorem
- 基础释义 纠错
- 释义
检验定理
- 双语例句 更多例句
-
1、
-
2、
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
来源：互联网摘选 -
3、
利用PowerPoint的VBA编程功能制作勾股定理的探索与验证交互性课件
来源：互联网摘选 -
4、
-
5、
Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving
几何定理并行验证算法研究
来源：互联网摘选
- 相关词组
- the Pythagorean theorem 勾股定理;
- model verification 模型验证
- moment of momentum theorem 动量矩定理
- impossibility theorem 不可能性定理
- individual ergodic theorem 个体遍历定理,个体各态历经定理
- Chomsky normal form theorem [计]乔姆斯基范式定理;
- cancel after verification 核销;
- converse theorem 逆（定）理;
- hard implicit function theorem 硬隐函数定理
- index theorem 指数定理
- 相关阅读
-
英语作文我的暑假两篇（带中文）
英语网 · 初中英语作文
-
50岁小李子被曝与26岁超模Vittoria Ceretti 订婚，情史终结者出现？
英语网 · 双语娱乐资讯
-
加拿大选手巴黎奥运会游完塞纳河后狂吐10次！
英语网 · 双语娱乐资讯
-
英镑用英语怎么说?今日英镑汇率是多少?
英语网 · 英语词汇
-
中国姓氏的英文翻译，看看你的姓氏在英文里怎么写！
英语网 · 英语词汇
-
高考英语语法填空真题29（含答案解析）
英语网 · 高考英语