Новые поступления (книга в стадии обработки) Ковальски, Р. Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ.: Л. Г. Осмоловского, В. Э. Вольфенгагена, В. Я. Яцука. - М. : Наука, 1990. - 280 с. ; 21см. - (Проблемы искусственного интеллекта). - ISBN 5-02-014148-8 : 4.00 р.
Рубрики: Математика--Математическая логика Математика--Математическое программирование Кл.слова (ненормированные): Банди -- Браун -- Гедель -- Ковалевски -- Ли -- алгоритм -- анализ -- атом -- база данных -- бинарное дерево -- вариант -- входные данные -- гиперрезолюция -- задача -- интерпретация -- Хорн -- логика -- лемма -- аксиома -- таблицы Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Осмоловский, Л. Г. Вольфенгаген, В. Э. Яцук, В. Я. |