formální jazyky 374 informatika 273 matematická logika 270 počítače 176 umělá inteligence 160 robotika 149 programování 121 více ... softwarové inženýrství 118 algoritmizace 113 programovací jazyky 113 automaty 44 diskrétní matematika 40 vyhledávání v datech 36 teorie automatů 35 matematická lingvistika 33 vyhledávání informací 33 algoritmy (programování) 30 informační systémy 27 operační systémy 27 internet 25 formální gramatiky 24 systémy řízení báze dat 24 sémantický web 16 bezkontextové jazyky 15 strojová lingvistika 15 multiagentní systémy 14 ontologie (informatika) 14 agenti 13 počítačová lingvistika 13 rozpoznávání obrazců 13 méně ...