Login / Signup
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
Georg Kreisel
Published in:
J. Symb. Log. (1952)
Keyphrases
</>
small number
image interpretation
high level
real time
theoretical framework
data structure
multiscale
genetic algorithm
data mining
case study
information technology
relational databases
real world
theoretical basis
database
maximum number
semantic interpretation