GLUE: Opening the World to Theorem Provers.

Gerd Neugebauer Dorothea Schäfer

Published in: LPNMR (1997)

Keyphrases

theorem prover
automated reasoning
theorem proving
automated theorem proving
inference rules
first order logic
term rewriting
automated deduction
computer algebra
formal semantics
natural deduction
proof search
higher order logic
timed automata
proof planning
lower layers