请输入您要查询的英文单词:
单词
decision procedure
释义
WordReference Random House Unabridged Dictionary of American English © 2024
deci
′
sion proce′dure,
[
Logic.
]
Philosophy
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
随便看
punchcard
punch-drunk
punched card
punched tape
puncheon
puncher
punchier
punchiest
punchinello
punchiness
punching bag
punch line
punch list
punch-out
punch press
punch spoon
punch-up
punchy
-punct-
punctate
punctated
punctatim
punctation
punctiform
punctilio
英语词典包含188688条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/11/10 19:22:41