| 单词 | decision procedure |
| 释义 | decision procedure Logic. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions. [1940-45] |
| 随便看 |
|
英语词典包含168451条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。