Reflection Principles in Fragments of Peano Arithmetic.

Published in: Math. Log. Q. (1987)

Keyphrases

data sets
data mining
information systems
decision trees
search algorithm
artificial neural networks
software engineering
floating point