Вид документа : Однотомное издание Шифр издания : 510/К 56 Автор(ы) : Ковальски Р. Заглавие : Логика в решении проблем Выходные данные : М.: Наука, 1990 Колич.характеристики :280 с. ; 21см Серия: Проблемы искусственного интеллекта ISBN, Цена 5-02-014148-8: 4.00 р. ГРНТИ : 27.03 + 27.47 УДК : 510.6+519.85 ББК : 22.18 Предметные рубрики: Математика-- Математическая логика Математика-- Математическое программирование Ключевые слова (''Своб.индексиров.''): банди--браун--гедель--ковалевски--ли--алгоритм--анализ--атом--база данных--бинарное дерево--вариант--входные данные--гиперрезолюция--задача--интерпретация--хорн--логика--лемма--аксиома--таблицы Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Осмоловский, Л. Г. Вольфенгаген, В. Э. Яцук, В. Я.