Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Учебная литература - результаты поиска

Вид поиска
Художественная литература
Периодические издания
Научные публикации
Учебная литература
УМКД ФГОС-3
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=формальная система<.>)
Общее количество найденных документов : 1
1.
32.973-18я7
Е 42

    Ездаков, А. Л.
    Функциональное и логическое программирование [Текст] : учеб. пособие / А. Л. Ездаков. - 2-е изд. - М. : БИНОМ. Лаборатория знаний, 2011. - 119 с. - ISBN 978-5-9963-0575-9 : 166.00 р.
ГРНТИ
20.53
ББК 32.973-18я7

Кл.слова (ненормированные):
язык Lisp -- функциональное программирование -- диалект Common Lisp -- логическое программирование -- формальная система -- логика предикатов -- резолюция -- язык Turbo-Prolog


Экземпляры всего: 20
Аб (18), ЧЗ (2)
Свободны: Аб (18), ЧЗ (2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)