Yapay zeka, teorik bilgisayar bilimi, ve dahası