Login / Signup
On Gödel's Theorems on Lenghts of Proofs I: Number of Lines and Speedup for Arithmetics.
Samuel R. Buss
Published in:
J. Symb. Log. (1994)
Keyphrases
</>
orders of magnitude
small number
genetic algorithm
computational effort
databases
neural network
decision making
metadata
line segments
finite number