Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving.

David A. Plaisted

Published in: CADE (1984)

Keyphrases

theorem proving
dependency graphs
first order logic
theorem prover
parallel search
description logics
decision procedures
automated theorem proving
proof planning
geometry theorem proving