theoremproving的意思|示意

美 / 'θɪərɪmprəʊvɪŋ / 英 / 'θɪərɪmproʊvɪŋ /

[计] 定理证明