Dependent Types at Work.

Ana Bove Peter Dybjer

Published in: LerNet ALFA Summer School (2008)

Keyphrases

data sets
learning algorithm
machine learning
information systems
decision trees
case study
multi agent systems
computer science
expert systems