decision procedure

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.
[1940-45]

* * *


Universalium. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”