English theoretical computer sciences: tłumaczenie na inne języki