Heuristics for Completion in Automatic Proofs by Structural Induction.

Published in: Nord. J. Comput. (1994)

Keyphrases

structural information
database
structural features
semi automatic
heuristic search
theorem proving
induction algorithms
program synthesis
data sets
bayesian networks
search algorithm
inductive learning
structural analysis
structural models