go top

theorem prover

  • [计] 定理证明器

网络释义专业释义

  [计] 定理证明器

定理证明器(theorem prover)和定理证明助手(theorem proof assistant)的出现,如LCF theorem prover,Isabelle/HOL,Coq等,使得形式语义的研究开始朝着实用方向...

基于108个网页-相关网页

  [计] 定理证明程序

... 程序证实服务程序 程序合法性业务 programvalidationservicespvs 定理证明程序 theorem prover 证明检验程序 proof checker ...

基于18个网页-相关网页

短语

automatic theorem prover 定理证明器 ; 自动化定理证明引擎

automated theorem prover 自动定理证明器

interactive theorem prover 交互式定理证明器

first-order theorem prover 一阶定理证明器

 更多收起网络短语
  • 定理证明 - 引用次数:12

    It’s a prevalent trendency to automatically verify the correctness of algorithmic program by means of theorem prover.

    使用定理证明工具对算法程序进行机械证明是一种发展趋势。

    参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用
    定理证明程序
    定理证明程式
  • 定理证明器

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.

    没有自动定理证明器的支持,程序性质的证明全部需要程序员手工完成,工作量巨大

    youdao

  • This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

    用于一阶逻辑方程序的自动理论证明器,用于支持语言处理中的推理

    youdao

  • Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.

    尽管缺少自动化高效地使用定理证明器处理模型检查器更大设计并且要求小的内存。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定