Login / Signup
The three dimensions of proofs
Yves Guiraud
Published in:
CoRR (2006)
Keyphrases
</>
theorem prover
theorem proving
formal proof
real world
machine learning
three dimensional
multiscale
databases
feature selection
decision trees
bayesian networks
hidden markov models
probability distribution
multi dimensional
equational theories