网站首页 词典首页
A mathematical definition of variable minimal unsatisfiability ( VMU ) is introduced to drive this abstraction refinement process.
引入变量极小不可满足 ( VMU ) 的数学概念来驱动抽象精化的验证过程.
互联网
英汉翻译词典包含4367426条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。