Автоматизация логического вывода в исчислении предикатов
Вантажиться...
Файли
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
DOI
Анотація
The interpretation of the formula of first-order logic on the finite data domain by means of the algebra of cubic functions is considered. The machine oriented inference method based on execution of operations with the cubic coverings is proposed.
Опис
Ключові слова
УДК
Тип документа
Мова
Є частиною
ISSN
Бібліографічний опис
Семеренко В. П. Автоматизация логического вывода в исчислении предикатов / В. П. Семеренко // Сборник научных трудов Шестой Международной конференции «Знания – Диалог – Решение» (KDS-97). Украина, Ялта, 15-20 сентября 1997. – Ялта, 1997. - Т. 1. – С. 187-195.