Realizability with a local operator of A.M. Pitts.

Jaap van Oosten

Published in: Theor. Comput. Sci. (2014)

Keyphrases

feature selection
search algorithm
pattern recognition
artificial neural networks
databases
case study
database systems
image sequences
data structure
management system