XBarnacle: Making Theorem Provers More Accessible.

Helen Lowe David Duncan

Published in: CADE (1997)

Keyphrases

theorem prover
automated reasoning
automated theorem proving
first order logic
theorem proving
automated deduction
computer algebra
term rewriting
inference rules
proof search
timed automata
higher order logic
formal semantics
lower layers
feature selection
fixed point
semi supervised
active learning