theorem prover

理论计算机科学家(Theoretical computer scientist)通常可分为两类型:定理证明者(Theorem prover)及问题解决者(Problem solver…

t z T 连接器 T connector T... ... 札则集定理 theorem on regular set 定理证明程式 theorem prover 定理证明 theorem proving ...

prover是什么意思... ... tank prover 标定罐 theorem prover 定理证明程序 bucket prover 【化】 间格斗式运输器 ...