Theorem Proving Systems of the Formel Project.

Gérard P. Huet

Published in: CADE (1986)

Keyphrases

theorem proving
inference rules
automated deduction
automated reasoning
distributed search
parallel search
first order logic
theorem prover
decision procedures
expert systems
proof planning
term rewriting
data mining
logic programs
automatic programming
consequence finding