ALL meanings of decision procedure
de·ci·sion pro·ce·dure
D d - noun decision procedure a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions. 1
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?