网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem prover
释义
theorem prover
网络
定理证明者;定理证明程式;定理证明程序
网络释义
1.
定理证明者
理论计算机科学家(Theoretical computer scientist)通常可分为两类型:
定理证明者
(
Theorem prover
)及问题解决者(Problem solver…
www.csie.ntu.edu.tw
2.
定理证明程式
t z T 连接器 T connector T... ... 札则集定理 theorem on regular set
定理证明程式
theorem prover
定理证明 theorem proving ...
www.docstoc.com
3.
定理证明程序
prover是什么意思... ... tank prover 标定罐
theorem prover
定理证明程序
bucket prover 【化】 间格斗式运输器 ...
www.hujiang.com
例句
释义:
定理证明者,定理证明程式,定理证明程序
随便看
Hayato
hayatou
hay bacillus
hay-bacillus
haybag
hay bale
hay-bale
haybale
hay baler
hay baler
haybales
hay bales
hay-bales
hay baling
hay band
hay band
hay band
hay band braider
hay band spinning machine
hay barn
haybarn
hay-barn
hay belly
hay blower
haybox
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/19 0:16:29