A logic of abstraction related to finite constructive number classes.

Published in: Arch. Math. Log. (1991)

Keyphrases

small number
finite number
computational complexity
high level
search algorithm
maximum number
real time
data sets
neural network
machine learning