A Semi-Decision Procedure for the Functional Calculus.

Published in: J. ACM (1963)

Keyphrases

decision making
proof procedure
decision makers
neural network
computer algebra
decision processes
decision process
decision rules
image processing
objective function
influence diagrams
iterative procedure
genetic algorithm
information retrieval
algebraic structure
databases
tableau calculus