Flexible Re-enactment of Proofs.

Published in: EPIA (1997)

Keyphrases

multi agent systems
data sets
neural network
theorem prover
formal proofs
database
learning environment
logic programs
lightweight
process model
theorem proving
decision procedures
equational theories
mathematical proofs