网站首页 英语词典
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现.
互联网
定理证明???
国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。