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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 22.12/Б24
Автор(ы) : Барендрегт Х.П.
Заглавие : Ламбда- исчисление. Его синтаксис и семантика
Выходные данные : М.: Мир, 1985
Колич.характеристики :606с.
Цена : 50.00, 50.00, р.
ББК : 22.12
Предметные рубрики: Математика-- высшая
Ключевые слова (''Своб.индексиров.''): голландия--исчисление--конверсия--редукция--теория--алгебра--модель--дерево--синтаксис--семантика--программирование
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)