Elementary Proof of a Theorem of Jean Ville

Elliott H. Lieb Daniel N. Osherson Scott Weinstein

Published in: CoRR (2006)

Keyphrases

interactive theorem proving
theorem prover
proof planning
mathematical proofs
machine learning
multiresolution
proof theoretic
set theory
theorem proving
special case
real time
artificial neural networks
digital libraries
bayesian networks
information retrieval
neural network
data sets