... .语用学(Pragmatics) 6、定理机器证明(Theorem Machine Proving) .归结法(Resolution Method) ...
基于1个网页-相关网页
theorem proving machine 定理证明机
machine theorem proving 机器定理证明
应用推荐
模块上移
模块下移
不移动