Formal topology and domains.

Giovanni Sambin

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

artificial intelligence
cross domain
formal model
real time
machine learning
decision trees
case study
active learning
formal representation