Login / Signup
Computer Runtimes and the Length of Proofs - With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving.
Hector Zenil
Published in:
Computation, Physics and Beyond (2012)
Keyphrases
</>
waiting times
automatic theorem proving
bayesian networks
probability distribution
computer systems