TY  - BOOK
AU  - Сергиевский,Георгий Максимович
AU  - Волченков,Николай Геннадьевич
TI  - Функциональное и логическое программирование: [учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника"]
T2  - Высшее профессиональное образование
SN  - 9785769564338
PY  - 2010///
CY  - Москва
PB  - Академия
KW  - учебные издания для вузов
KW  - языки программирования декларативные
KW  - языки функционального программирования
KW  - языки логического программирования
KW  - Интернет-ресурсы
KW  - типы функций
KW  - каррирование
KW  - лямбда-выражение
KW  - структуры данных
KW  - определения функций
KW  - приемы программирования
KW  - конструирование функций
KW  - доказательство свойств программ
KW  - трансформации программ
KW  - EURICA
KW  - комбинаторная логика
KW  - лямбда-исчисление
KW  - стратегии вычислений
KW  - частичные вычисления
KW  - Лисп
KW  - Haskell
KW  - логическое программирование
KW  - Пролог
KW  - синтаксис (Пролог)
KW  - встроенные предикаты
KW  - синтаксический анализ
KW  - эвристический поиск
KW  - задачи искусственного интеллекта
N1  - Библиогр.: с. 313-314
ER  -