Hilbert's ϵ-Operator in Intuitionistic Type Theories.

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

Keyphrases

real time
computational model
theoretical framework
data sets
machine learning
search engine
image processing
database systems
pattern recognition
expert systems
fuzzy numbers
logical framework
design theory