Mechanical Proof Testing.

Published in: Comput. Lang. (1980)

Keyphrases

data sets
similarity measure
test cases
theorem prover
theorem proving
neural network
information retrieval
three dimensional
image sequences
optimal solution
special case
mobile robot
logic programs
mechanical design
mathematical proofs