Propositional Calculus in Coq.

Floris van Doorn

Published in: CoRR (2015)

Keyphrases

propositional calculus
formal methods
theorem prover
artificial intelligence
machine learning
first order logic
probability distribution
inference rules
relational databases