Realizability algebras III: some examples

Jean-Louis Krivine

Published in: CoRR (2012)

Keyphrases

training examples
data sets
databases
real world
decision trees
case study
natural language
expert systems
data model
qualitative and quantitative