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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

Пошуковий запит: (<.>U=004.43:510.755<.>)

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

Форма документа : Однотомне видання
Шифр видання : 004.43/D29
Назва : Declarative Logic Programming: Theory, Systems, and Applications
Вихідні дані : New York: ACM Books, 2018
Кільк.характеристики :595 с
Колективи : Association for Computing Machinery
ISBN, Ціна 978-1-970001-99-0:
ДРНТІ : 20
УДК : 004.43:510.755 + 510.755
Предметні рубрики: Інформаційні технології-- Мови програмування
Логічне програмування
Ключові слова (''Вільн.індекс.''): математична логіка--бази даних--мови програмування
Анотація: Логічне програмування (LP) - це напрямок представлення знань, AI, математичної логіки, баз даних та мов програмування. Це дозволяє програмуванню бути більш декларативним, вказавши "що" робити замість "як" це зробити.
Примірники :Сервер(1)
Вільні : Сервер(1)

Знайти схожі

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