Automath

維基詞典,自由的多語言詞典
  • 正體: 奧多馬士(編譯)程式[電機工程]