Login / Signup
A Proof of the Front-Door Adjustment Formula.
Mohammad Ali Javidian
Marco Valtorta
Published in:
CoRR (2018)
Keyphrases
</>
theorem prover
theorem proving
database
artificial intelligence
bayesian networks
data structure
boolean functions
linear logic
proof theory
interactive theorem proving