证明者
海峡两岸信息科学技术名词
证明者(prover)是2008年经全国科学技术名词审定委员会审定发布的海峡两岸信息科学技术名词。
发布时间
2008年经全国科学技术名词审定委员会审定发布的海峡两岸信息科学技术名词。
出处
《海峡两岸信息科学技术名词》
参考资料
术语在线
.权威的术语知识服务平台.
最新修订时间:2022-03-04 16:22
条目作者
小编
资深百科编辑
目录
概述
发布时间
出处
参考资料
Copyright©2024
闽ICP备2024072939号-1