Knowledge-Based Proof Planning.

Erica Melis Jörg H. Siekmann

Published in: Artif. Intell. (1999)

Keyphrases

proof planning
concept formation
theorem proving
building intelligent
theorem prover
proof search
expert systems
genetic algorithm
knowledge base
image processing
pattern recognition