Proof Pearl: The Marriage Theorem.

Dongchen Jiang Tobias Nipkow

Published in: CPP (2011)

Keyphrases

interactive theorem proving
theorem proving
von neumann
causal models
conditional independence
database
data sets
belief revision
feature selection
artificial neural networks
knowledge representation
theorem prover
heavy traffic limit