English theoretical computer sciences: תרגום לשפות אחרות