Proof by Analogy in Mural.

Published in: Formal Aspects Comput. (1995)

Keyphrases

interactive theorem proving
theorem proving
analogical reasoning
databases
theorem prover
three dimensional
domain theory
automated theorem proving
proof planning
analogy making
geometry theorem proving
genetic algorithm
image sequences
case based reasoning
linear logic
proof theory