Presenting Machine-Found Proofs.

Xiaorong Huang Armin Fiedler

Published in: CADE (1996)

Keyphrases

theorem prover
theorem proving
databases
neural network
image processing
database systems
learning machines
decision procedures