theorem prover

网络释义

1.	定理证明者理论计算机科学家(Theoretical computer scientist)通常可分为两类型:定理证明者(Theorem prover)及问题解决者(Problem solver… www.csie.ntu.edu.tw
2.	定理证明程式 t z T 连接器 T connector T... ... 札则集定理 theorem on regular set 定理证明程式 theorem prover 定理证明 theorem proving ... www.docstoc.com
3.	定理证明程序 prover是什么意思... ... tank prover 标定罐 theorem prover 定理证明程序 bucket prover 【化】间格斗式运输器 ... www.hujiang.com