Computer Runtimes and the Length of Proofs − With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving
Hector Zenil
Book Title
Computation‚ Physics and Beyond − International Workshop on Theoretical Computer Science‚ WTCS 2012‚ Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday‚ Auckland‚ New Zealand‚ February 21−24‚ 2012‚ Revised Selected and Invited Papers
Editor
Michael J. Dinneen and Bakhadyr Khoussainov and André Nies
ISBN
978−3−642−27653−8
Pages
224–240
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7160
Year
2012