Justifying proofs using memo tables.

Abhik Roychoudhury C. R. Ramakrishnan I. V. Ramakrishnan

Published in: PPDP (2000)

Keyphrases

database
databases
theorem proving
mathematical proofs
formal proofs
theorem prover
case study
tabular data
expert systems
relational databases
evolutionary algorithm
similarity measure
computer programs
decision procedures
formal proof
image processing
equational theories
real world