意味 | 共起表現 |
「automath」の共起表現一覧(1語右で並び替え)
該当件数 : 4件
In the late sixties, he designed the | Automath language for representing mathematical proofs |
The | Automath system included many novel notions that were |
Automath was also the first practical system that expl | |
Automath was never widely publicized at the time, howe | |
意味 | 共起表現 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |