26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy.

Published in: TYPES (2021)

Keyphrases

information retrieval
web services
database
data sets
learning algorithm
metadata
decision trees
bayesian networks
computer science
computational intelligence
theorem proving
computer programs