Pure Type Systems with Definitions.

Paula Severi Erik Poll

Published in: LFCS (1994)

Keyphrases

management system
hidden markov models
intelligent systems
complex systems
neural network
e learning
expert systems
embedded systems