automath

自動數學程式

學術名詞

• 奧多馬士編譯程式：電機工程
• 奧多馬士[編譯]程式：電力工程
• AUTOMATH 程式語言：資訊