formalizedarithmetic

英[fɔːməlaɪziː'dærɪθmetɪk] 美[fɔːməlaɪziː'dærɪθmetɪk]
  • 形式化算法
  • formalized adj.形式化的,使程序化的v.formalize的动词过去式、过去分词
  • technique n.技术;技巧;技能