Advertisement
Advertisement
decision procedure
noun
, Logic.
- a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.
Discover More
Word History and Origins
Origin of decision procedure1
First recorded in 1940–45
Advertisement
Advertisement
Advertisement
Advertisement
Browse