Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=доказательство теорем<.>)
Общее количество найденных документов : 1
1.


    Ларионов, А. А.
    Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул [Текст] / А. А. Ларионов, Е. А. Черкашин // Дистанционное и виртуальное обучение. - 2012. - № 2. - С. 93-100. - Библиогр.: с. 100 (7 назв. ) . - ISSN 1561-2449
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
параллельные схемы -- алгоритмы -- теоремы -- доказательство теорем -- логическое моделирование -- вычислительные системы -- программные системы -- позитивно-образованные формулы -- информационные системы -- компьютерные программы
Аннотация: Представлены результаты исследования исчисления позитивно-образованных формул на предмет построения параллельных схем алгоритмов логического вывода.


Доп.точки доступа:
Черкашин, Е. А. (кандидат технических наук)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)