Цена
50 руб.
Безопасная сделка с доставкой
Удалён(21 дек 2019 17:26)

Описание лота

Год издания (гггг)
1991
Издательство
Мир
Количество страниц
408
Переплет
Мягкий
Язык
Русский
Состояние
Б/у
Дополнительно
Сборник

Состояние на фото.

Есть штампы, спец. отметки (библ.экз.)

Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей - известные специалисты: Дж.Бэкус, Д.Оппен, Д.Скотт (США), Дж.Р.Хиндли, С.Л.Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.

Поделиться этим лотом:

Вопросы

Новый вопрос

осталось 2800 символов