Ústav informatiky AV ČR, v.v.i.

Provádění výzkumné činnosti v oblasti logických a pravděpodobnostních základů informatiky a genetiky.