Login / Signup
Dependent types and explicit substitutions: a meta-theoretical development.
César A. Muñoz
Published in:
Math. Struct. Comput. Sci. (2001)
Keyphrases
</>
knowledge based systems
artificial intelligence
domain knowledge
image processing
case study
development process
data mining
machine learning
social networks
data structure
decision support
theoretical analysis
st century