Гриф: УМО вузов РФ по университетскому политехническому образованию

Отраслевые рубрики: вычислительная техника, программирование, теория программирования

Ключевые слова: Haskell, доказательство свойств программ, индукционная гипотеза, искусственный интеллект, карринг, комбинаторная логика, конструирование функций, Лисп, логические программы, логическое программирование, лямбда-исчисление, операции, предикаты, Пролог, синтаксический анализ, структуры данных, трансформации программ, функции, функциональное программирование, частичные вычисления, эвристический поиск

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	24	22	0
чит. зал	1	0	0