Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги».
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей - известные специалисты: Дж.Бэкус, Д.Оппен, Д.Скотт (США), Дж.Р.Хиндли, С.Л.Пейтон Джоунз (Англия).
Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Получить эту книгу или продать свою
Перейти- Серия:
- Издательство:
Содержание
Дополнительная информация об издании
ISBN: 5-03-001635-x
Год издания: 1991
Язык: Русский
Жанры
-20% на все
Ловите промокод на электронные книги Литрес!
Открыть промокод
P R O M O C O DE
Действует три дня с момента активации
