automath

基本解釋

• n.自動(dòng)數(shù)學(xué)程序

同根派生

 

• automath相關(guān)詞