Zhou, Jianyang.{me_controlnum}

Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics) Programming languages (Electronic computers) Programming Languages, Compilers, Interpreters. Computer Science. Operation Research/Decision Theory.