Login / Signup
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