C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Pure Type Systems Formalized.
James McKinna
Robert Pollack
Published in:
TLCA (1993)
Keyphrases
</>
complex systems
wide range
management system
distributed systems
computer systems
digital libraries
learning systems
e learning
database systems
similarity measure
reinforcement learning
preprocessing
expert systems