Classical provability of uniform versions and intuitionistic provability.

Makoto Fujiwara Ulrich Kohlenbach

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

Keyphrases

database
face recognition
fuzzy set theory
databases
real world
information systems
decision making
decision trees
case study
database systems
pattern recognition
hidden markov models
computational intelligence