归结: sum up; put in a nutshell定理: theorem证明: prove; testify; bear out归结定理证明消解式定理证明: resolution theorem proving归结定理: resolution theorem定理证明: theorem proving定理证明机: theorem proving machine定理证明表示: theorem proving representation定理证明程序: theorem prover定理证明技术: theorem proving technique解析定理证明: resolution theorem-proving自动定理证明: automated theorem proving; automatic theorem proving一阶定理证明器: first-order theorem prover博耶穆尔定理证明程序: boyermoore theorem prover强终结定理: strong terminating theorem定理证明用逆向产生式系统: backward production system for theorem proving公理证明: axiomatic proof代理证明机构: agency ca公理证明规则: axiomatic proof rule外出经营管理证明: the certificate for outward business administration遗产管理证明书: letter of administration归结: 1.(总括而求得结论) sum up; put in a nutshell 问题虽然很复杂, 归结起来不外三个方面。 the questions, though very complicated, may be summed up as coming under three categories.2.(结局) end (of a story, etc.)3.[力学] resolution; 归结式 resolvents定理机器证明: theorem machine prove证明费马最后定理: proving fermat’s last theorem一般商品和机电产品进口管理证明格式: import management certificate form for general goods and mechanical & electronic products
