Pure Type Systems with de Bruijn Indices.

Fairouz Kamareddine Alejandro Ríos

Published in: Comput. J. (2002)

Keyphrases

distributed systems
complex systems
machine learning
learning systems
learning environment
search algorithm
systems require
computing systems
computer systems
management system
mobile robot
database
decision trees
web services
feature selection
social networks
information retrieval
data mining