Login / Signup
Pure Type Systems with More Liberal Rules.
Martin W. Bunder
Wil Dekkers
Published in:
J. Symb. Log. (2001)
Keyphrases
</>
learning systems
database
neural network
information systems
decision making
domain knowledge
management system
computer systems
complex systems
real time
website
digital libraries
intelligent systems
knowledge based systems
retrieval systems
multiple types