DECISION PROCEDURE


Meaning of DECISION PROCEDURE in English

Logic.

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 ]

Random House Webster's Unabridged English dictionary.      Полный английский словарь Вебстер - Random House .