代数语义学的英文翻译

中文:代数语义学

英文翻译:【计】 algebraic semantics