Ездаков А. Л. Функциональное и логическое программирование: учебное пособие для вузов / Ездаков Андрей Леонидович. - Москва: БИНОМ. Лаборатория знаний, 2016. - 119 с.: ил. - Прил.: с. 103. - Лит.: с. 119. - ISBN 978-5-9963-0575-9.Отраслевые рубрики: вычислительная техника, программирование, теория программирования Ключевые слова: исчисление высказываний, исчисление предикатов, ЛИСП (LISP), логическое программирование, метод резолюции, опровержение, стратегии управления, Турбо Пролог, формальные системы, функциональное программирование, языки программирования
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 3 | 3 | 0 |
| 
Блог Мишки Б.
