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”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.