 |
APES (Algorithms,
problems and empirical studies) |
 |
COMPULOGNET
(Computational logic) |
 |
DONET
(Discrete Optimization network) |
 |
ELSNET (Language
and speech) |
 |
ICAME (English
Corpus Linguistics) |
 |
MONET (Model based and
qualitative reasoning) |
 |
RAND-APX (Randomized
algorithms and complexity theory) |
 |
TARSKI (Theory and Applications
of Relational
Structures as Knowledge Instruments) |