Determinacy of Wadge classes and subsystems of second order arithmetic.

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

Keyphrases

higher order
conjunctive queries
neural network
databases
real world
artificial intelligence
face recognition
data structure
object recognition
expert systems
artificial neural networks
hessian matrix