Structuring Computer Generated Proofs.

Christoph Lingenfelder

Published in: IJCAI (1989)

Keyphrases

computer generated
formal proof
photographic images
formal proofs
theorem proving
data sets
theorem prover
computer vision
natural deduction
multi agent
cooperative
spatio temporal
image database
logic programs
equational theories
mathematical proofs