请输入您要查询的英文单词:
单词
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
随便看
cross-leggedness
crosslet
crossleted
crosslight
crosslighted
crossline
cross-link
cross-linkable
cross-linker
cross-linking
cross-lot bracing
crossly
crossman
cross-match
crossmatch
cross matching
cross-mate
cross-modality
cross multiplication
cross multiply
crossness
cross of calvary
cross of lorraine
crossopterygian
cross-out
英语词典包含188688条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/11/10 19:58:27