Relativized Realizability in Intuitionistic Arithmetic of All Finite Types.

Nicolas D. Goodman

Published in: J. Symb. Log. (1978)

Keyphrases

neural network
real world
information retrieval
feature selection
hidden markov models
real time
databases
genetic algorithm
e learning
case study
desirable properties
fuzzy set theory