Prindi | E-postile | Salvesta 
arvutiteadus
computer science; theoretical computer science
ESTER | ISE | ERB | Google
Laiemad:rakendusteadused applied sciences
Kitsamad:algoritmid algorithms
algoritmiteooria theory of algorithms
arvutialgebra computer algebra
automaattõestamine automated theorem proving
formaalsed meetodid (inform.) formal methods (inform.)
kombinatoorne loogika combinatory logic
tüübiteooria type theory
Seotud:informaatika informatics
Valdkonnad:36 INFORMAATIKA. INFOTEHNOLOOGIA. AUTOMAATIKA.