automath

英 [ɔː'təmæθ]     美 [ɔː'təmæθ]    
  • n. 自动数学程序
目录 查词历史