Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: (<.>S=Логічне програмування<.>)

Загальна кількість знайдених документів : 1

   004.43
   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 : Б. ц.
Переклад назви: Декларативне логічне програмування: теорія, системи та програми

ДРНТІ	20
УДК	004.43:510.755	510.755

Рубрики: Інформаційні технології--Мови програмування

Логічне програмування

Кл.слова (ненормовані):
математична логіка -- бази даних -- мови програмування
Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити.

Дод.точки доступу:
Kifer, Michael \editor.\
Liu, Yanhong Annie \editor.\
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)