| 单词 | decision procedure |
| 释义 | decision procedurenoun Logic.a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions. Origin of decision procedureFirst recorded in 1940–45 Words nearby decision proceduredecimus, decinormal, decipher, decision, decision-making, decision procedure, decision support system, decision table, decision theory, decision tree, decisive Dictionary.com UnabridgedBased on the Random House Unabridged Dictionary, © Random House, Inc. 2020 |
| 随便看 |
英语词典包含192737条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。