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