A refutation of Carlson's Conjecture, or UMASS re-moulded.

Caxton C. Foster

Published in: ACM Annual Conference (1971)

Keyphrases

image understanding
theorem proving
inductive inference
theorem prover
automated theorem proving
database
databases
learning algorithm
classical logic
objective function
object recognition
data model
worst case