A Simple Proof of a Theorem of Statman.

Harry G. Mairson

Published in: Theor. Comput. Sci. (1992)

Keyphrases

theorem prover
databases
image processing
interactive theorem proving
real time
provably correct
medical images
special case
user interface
artificial neural networks
relational databases
information technology
cooperative
multi agent
decision making
learning algorithm
information retrieval
neural network