Modal Pure Type Systems.

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

complex systems
management system
computing systems
neural network
computer vision
image segmentation
natural language
learning systems
data mining
objective function
distributed systems
computer systems
knowledge based systems