「Automath」の共起表現一覧(1語右で並び替え)

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