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

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

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

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

Том:

Номер: 2

Год: 2012

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

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

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

URL:

Проекты:

DOI:

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

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

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет

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