matematická logika 1 305 informatika 900 umělá inteligence 586 počítače 434 softwarové inženýrství 415 programovací jazyky 330 programování 298 více ... algoritmizace 278 formální jazyky 270 robotika 168 vyhledávání v datech 106 matematika 93 systémy řízení báze dat 88 rozpoznávání obrazců 51 algebra 49 diskrétní matematika 46 strojová lingvistika 46 vyhledávání informací 44 počítačová simulace 41 informační systémy 40 numerická analýza 38 operační systémy 38 množiny 33 internet 32 zpracování obrazů 32 bioinformatika 30 aplikační programy 26 teorie důkazů 25 logické programování 24 zpracování textů 23 méně ...