automath proof assistant的意思
automath proof assistant中文翻譯:
自動校對助手
相似詞語短語
classroom assistant───教室助理
laboratory assistant───實驗室助理;實驗員
classroom assistants───教室助理
laboratory assistants───實驗室助理;實驗員
probationary assistant───見習助理
teaching assistant───助教,教學助理;教師助理
wardrobe assistant───衣柜助理
automatic transmission───自動換檔;自動變速裝置;自動駕駛
automatic transmissions───自動換檔;自動變速裝置;自動駕駛