formalizedarithmetic

英 [fɔːməlaɪziː'dærɪθmetɪk] 美 [fɔːməlaɪziː'dærɪθmetɪk]

• 形式化算法