Зарегистрироваться
Восстановить пароль
FAQ по входу

Rezus Adrian. Abstract Automath

  • Файл формата pdf
  • размером 7,06 МБ
  • Добавлен пользователем
  • Описание отредактировано
Rezus Adrian. Abstract Automath
Amsterdam: Mathematical Centre, 1983. — (MC Tracts 160). — ISBN: 90-6196-256-0.
The book contains a description of the AUTOMATH family of computer languages (based on typed lambda-calculus), meant for automatic proof-checking and computer-assisted proving.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация
Наверх