D29 Declarative Logic Programming: Theory, Systems, and Applications / Association for Computing Machinery ; editor: M. Kifer, Y. A. Liu. - New York : ACM Books, 2018. - 595 p. - ISBN 978-1-970001-99-0 : Б. ц. Переклад назви: Декларативне логічне програмування: теорія, системи та програми
Рубрики: Інформаційні технології--Мови програмування Логічне програмування Кл.слова (ненормовані): математична логіка -- бази даних -- мови програмування Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити. Дод.точки доступу: Kifer, Michael \editor.\ Liu, Yanhong Annie \editor.\ Association for Computing Machinery Примірників всього: 1 Сервер (1) Вільні: Сервер (1) |