Completeness and Soundness of the Connection Graph Proof.

Werner Stephan Jörg H. Siekmann

Published in: AISB/GI (ECAI) (1978)

Keyphrases

information systems
theorem proving
real time
neural network
computer vision
reinforcement learning
hidden markov models
theorem prover
automated theorem proving
proof search
geometry theorem proving