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