Pretopologies and Completeness Proofs.

Giovanni Sambin

Published in: J. Symb. Log. (1995)

Keyphrases

formal proofs
equational theories
theorem prover
theorem proving
mathematical proofs
formal proof
data mining
knowledge base
decision procedures
social networks
computer vision
image processing
first order logic