Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
в найденном
 Найдено в других БД:Книжный фонд (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: <.>A=Барендрегт, Х. П.$<.>
Общее количество найденных документов : 1
1.
   22.12
   Б24

    Барендрегт, Х. П.
    Ламбда- исчисление. Его синтаксис и семантика [Текст] / Пер. с англ. Г.Е. Минца; Под ред. А.С. Кузичева. - М. : Мир, 1985. - 606с. - 50.00 р.
ББК 22.12
Рубрики: Математика--высшая
Кл.слова (ненормированные):
Голландия -- исчисление -- конверсия -- редукция -- теория -- алгебра -- модель -- дерево -- синтаксис -- семантика -- программирование

Экз-ры: чзт(1)

” Цитировать
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)