] Frege Proofs.

Alexis Maciel Toniann Pitassi

Published in: STOC (1997)

Keyphrases

theorem prover
theorem proving
equational theories
formal proofs
mathematical proofs
knowledge base
evolutionary algorithm
hidden markov models
neural network
information retrieval
search engine
database systems
artificial neural networks
decision procedures