Building Proofs by Analogy via the Curry-Horward Isomorphism.

Thierry Boy de la Tour Christoph Kreitz

Published in: LPAR (1992)

Keyphrases

theorem prover
databases
graph theory
analogical reasoning
database
information retrieval
artificial intelligence
web services
three dimensional
interactive theorem proving