a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.
Words nearby decision procedure
Origin of decision procedure
First recorded in 1940–45
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2020