Библиографическое описание:Ларионов, А. А. Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин. - (Прикладные исследования). - Текст : непосредственный // Дистанционное и виртуальное обучение. - 2012. - № 2. - С. 93-100. - Библиогр.: с. 100 (7 назв. ). - ISSN 1561-2449.
Аннотация:Представлены результаты исследования исчисления позитивно-образованных формул на предмет построения параллельных схем алгоритмов логического вывода.
Ключевые слова:параллельные схемы, алгоритмы, теоремы, доказательство теорем, логическое моделирование, вычислительные системы, программные системы, позитивно-образованные формулы, информационные системы, компьютерные программы
