Proof Based Computation.

Malcolm C. Newey

Published in: TPHOLs (1991)

Keyphrases

image processing
neural network
decision trees
linear logic
real world
case study
multi agent systems
computational complexity
relational databases
multiresolution
theorem proving