Информация о статье
2008 г., Том 13, Спец. выпуск, с.102-107
Черкашин Е.А.
Разделяемые структуры данных в системе автоматического доказательства теорем КВАНТ/3
Рассматривается задача разработки структур данных для новой версии системы автоматического доказательства теорем (АДТ) в исчислениях позитивно-образованных формул~--- системы КВАНТ/3. Целью исследования является повышение производительности поиска логического вывода за счет разделения структурами общих элементов в памяти компьютера, а также поддержка исследований новых ситем АДТ за счет возможности дополнения этих структур данных новыми элементами и изменения базовой стратегии поиска логического вывода.
[полный текст] Библиографическая ссылка: Черкашин Е.А. Разделяемые структуры данных в системе автоматического доказательства теорем КВАНТ/3 // Вычислительные технологии. 2008. Т. 13. Специальный выпуск 1: Материалы XII Байкальской всероссийской конференции с международным участием "Информационные и математические технологии в науке и управлении", 2-11 июля 2007 г., Иркутск. С. 102-107
|
|
|