Commenting Proofs.

James R. Geiser

Published in: IJCAI (1975)

Keyphrases

theorem proving
decision procedures
equational theories
neural network
formal proofs
theorem prover
genetic algorithm
search engine
decision making
evolutionary algorithm
mathematical knowledge
computer vision
database systems
data structure
relational databases
formal proof