Страница публикации
Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул
Авторы: Ларионов А.А., Черкашин Е.А.
Журнал: Дистанционное и виртуальное обучение
Том:
Номер: 2
Год: 2012
Отчётный год: 2012
Издательство:
Местоположение издательства:
URL:
Аннотация: В работе представлены результаты разработки высокопроизводительной системы автоматического доказательства теорем для метода доказательств позитивно-образованных формул на основе построения параллельных схем алгоритмов поиска логического вывода. Проведено сравнительное тестирование, показывающее повышение эффективности логического вывода при увеличении количества вычислительных элементов.
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: