theorem proving system

网络释义

1.	定理证明系统 ... 定理证明机 theorem proving machine 定理证明系统 theorem proving system 使用分解律的定理证明 use of resolution ... www.docstoc.com

释义:

定理证明系统

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。