An Evaluation Semantics for Classical Proofs

Chetan R. Murthy

Published in: LICS (1991)

Keyphrases

evaluation method
database
data mining
genetic algorithm
information retrieval systems
schema mappings
theorem proving
evaluation methods
natural deduction