2) automated reasoning
自动证明
1.
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
2.
This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositio-nal logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
3) automated formal proving
形式自动证明
1.
An automated formal proving platform based on dynamicterm rewriting calculus and its application;
基于DTRC的形式自动证明平台及其应用
4) automatic theorem proving
自动定理证明
1.
The automatic theorem proving (also is called machine theorem proof, mechanized theorem proof and so on) is an important branch of artificial intelligence research, is interdisciplinary studies field between mathematics and computer science.
自动定理证明(又叫机器定理证明、机械化定理证明等)是人工智能研究的一个重要分枝,是数学、计算机科学的交叉学科,我国科学家在这一领域的研究走在了世界的前列。
5) automatic program certification
自动程序证明
6) automated theorem prover
自动定理证明器
1.
Taking all the problems mentioned above into account,we have designed and implemented an automated theorem prover and an auxiliary proof checker in the framework of a certifying compiler,the prover and checker are used to help accomplishing the verification of programs.
考虑到以上问题,我们在一个出具证明编译器框架中设计并实现了一个自动定理证明器和一个起辅助作用的证明检查器,来帮助完成指针程序的验证。
补充资料：自动
①自己主动；出于自己心愿：非常自动地来到车站送行｜自动报名参加。②不靠外力的：自动燃烧。③指器械通过自身的装置而活动：自动传输｜自动售货机。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条