first-order theorem prover
... 自动定理证明 automated theorem proving; automatic theorem proving 一阶定理证明器 first-order theorem prover 归结定理证明消解式定理证明 resolution theorem proving ...
基于1个网页-相关网页
first-order theorem prover
一阶定理证明
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
youdao
更多双语例句