Страница публикации

Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул

Авторы: Ларионов А.А., Черкашин Е.А.

Журнал: Дистанционное и виртуальное обучение

Том:

Номер: 2

Год: 2012

Отчётный год: 2012

Издательство:

Местоположение издательства:

URL:

Аннотация: В работе представлены результаты разработки высокопроизводительной системы автоматического доказательства теорем для метода доказательств позитивно-образованных формул на основе построения параллельных схем алгоритмов поиска логического вывода. Проведено сравнительное тестирование, показывающее повышение эффективности логического вывода при увеличении количества вычислительных элементов.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: