英语词汇theorem prover怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

theorem prover

释义

theorem prover

简明释义

[计] 定理证明器

网络释义

1
[计]?定理证明器
定理证明器(theorem prover)和定理证明助手(theorem proof assistant)的出现,如LCF theorem prover,Isabelle/HOL,Coq等,使得形式语义的研究开始朝着实用方向...
2
[计]?定理证明程序
... 程序证实服务程序程序合法性业务 programvalidationservicespvs 定理证明程序 theorem prover 证明检验程序 proof checker ...

短语

1
automatic theorem prover
定理证明器 ; 自动化定理证明引擎
2
automated theorem prover
自动定理证明器
3
interactive theorem prover
交互式定理证明器

双语例句

1
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
2
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
3
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	theorem prover
释义	theorem prover 简明释义 [计] 定理证明器网络释义 1 [计]?定理证明器定理证明器(theorem prover)和定理证明助手(theorem proof assistant)的出现,如LCF theorem prover,Isabelle/HOL,Coq等,使得形式语义的研究开始朝着实用方向... 2 [计]?定理证明程序 ... 程序证实服务程序程序合法性业务 programvalidationservicespvs 定理证明程序 theorem prover 证明检验程序 proof checker ... 短语 1 automatic theorem prover 定理证明器 ; 自动化定理证明引擎 2 automated theorem prover 自动定理证明器 3 interactive theorem prover 交互式定理证明器双语例句 1 Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload. 没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。 2 This is an automated theorem prover for first-order and equational logic, used to support inference in language processing. 这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。 3 Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory. 尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
随便看	state socialist state-socialist state-society state society state-society synergy states-of-affairs state of affairs state of being state of flux state of grace state of knowledge State of Kuwait states of matter states of mind states of nature state of polarization state of the art States of the Church states-of-the-nation state of war states of wartime neutrality state song state sovereignty state space state-space