Certifying and Synthesizing Membership Equational Proofs.

Grigore Rosu Steven Eker Patrick Lincoln José Meseguer

Published in: FME (2003)

Keyphrases

equational theories
theorem proving
theorem prover
inference rules
decision procedures
first order logic
neural network
information retrieval
natural deduction
image segmentation
artificial neural networks
fuzzy membership
formal proof
mathematical knowledge