Almost-natural proofs

Timothy Y. Chow

Published in: CoRR (2008)

Keyphrases

real world
theorem proving
theorem prover
expert systems
neural network
computer vision
image processing
decision trees
three dimensional
multi agent
data structure
decision procedures
artificial systems