Login / Signup
Introduction to Type Theory.
Herman Geuvers
Published in:
LerNet ALFA Summer School (2008)
Keyphrases
</>
theoretical framework
theoretical basis
databases
neural network
real time
multimedia
general theory
belief functions
formal theory
grounded theory
speech acts
programming language
information technology
expert systems
feature space
web services
information systems
computer vision