A minimalist two-level foundation for constructive mathematics.

Maria Emilia Maietti

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

computer science
data sets
machine learning
database systems
preprocessing
computer programming
computer assisted learning
information systems
information technology
computer assisted instruction