教育资源公共服务平台
站内导航
公共查询科学技术名词计算机科学理论
计算机科学技术计算机科学理论

定理证明器 theorem prover 定理证明器的意思 theorem prover的意思 定理证明器的英文 theorem prover的翻译

定理证明器

规范用词定理证明器

英文对照theorem prover

所属学科计算机科学技术 > 计算机科学理论

名词审定计算机科学技术名词审定委员会

见载刊物计算机科学技术名词(第二版)》 科学出版社

公布时间2002年

科学技术名词为您提供定理证明器,theorem prover,定理证明器的意思,theorem prover的意思,定理证明器的英文,theorem prover的翻译,定理证明器的翻译,定理证明器是什么意思,定理证明器什么意思,theorem prover是什么意思,theorem prover什么意思
定理证明器 相关科技名词