1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Дистанционное и виртуальное обучение»
  5. Выпуск 2012 г. № 2
Параллельные схемыалгоритмовавтоматическогодоказательства теоремв исчислениипозитивно-образованных формул Ларионов А. А.Черкашин Е. А.2012 год

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

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

Похожие публикации

Комбинированный алгоритм поиска образа в строке : статья из журнала

  • Царев Р. Ю. и др.
  • 2017 год
Метод проверки намодели(model-checking) дляопределениякорректности сложныхсистем Алексеева М. М.Дашкова Е. А.2011 год

Метод проверки на модели (model-checking) для определения корректности сложных систем : статья из журнала

  • Алексеева М. М. и др.
  • 2011 год
Математическая модельоптимизацииинформационныхпотоков и определениеоптимальных логистиквTIAV-мультимедийных… Бекназарова СаидаСафибуллаевна2015 год

Математическая модель оптимизации информационных потоков и определение оптимальных логистик в… : статья из журнала

  • Бекназарова Саида Сафибуллаевна
  • 2015 год
Моделированиепроцессовавтоматизированногообучения на основевзвешенныхориентированныхграфов Соловов Александр ВасильевичМеньшикова АнастасияАлександровна2011 год

Моделирование процессов автоматизированного обучения на основе взвешенных ориентированных графов : статья из журнала

  • Соловов Александр Васильевич и др.
  • 2011 год
Проектиованиепрограммного ядраон-лайн системыmediacourse builder Бекназарова СаидаСафибуллаевна2013 год

Проектиование программного ядра он-лайн системы mediacourse builder : статья из журнала

  • Бекназарова Саида Сафибуллаевна
  • 2013 год
Инструментальныесредства разработкиэлектронных учебников Чурилов Игорь Андреевич2014 год

Инструментальные средства разработки электронных учебников : статья из журнала

  • Чурилов Игорь Андреевич
  • 2014 год
Компьютерноемоделированиеэлектрической машиныс постояннымимагнитами на статоре Прахт Владимир АлексеевичДмитриевский ВладимирАлександровичСарапулов Федор Никитич2011 год

Компьютерное моделирование электрической машины с постоянными магнитами на статоре : статья из журнала

  • Прахт Владимир Алексеевич и др.
  • 2011 год

К проблеме оценки надежности сложных программных систем : статья из журнала

  • Царев Р. Ю. и др.
  • 2015 год

Показать ещё

Экспериментальноеизучение однофазныхвыпрямительных схем спомощью прибора NImyDAQ Данилов Олег Евгеньевич2013 год

Экспериментальное изучение однофазных выпрямительных схем с помощью прибора NI myDAQ : статья из журнала

  • Данилов Олег Евгеньевич
  • 2013 год
Формализация выборасистем виртуализациидля образовательныхпрограмм покорпоративныминформационнымсистемам Птицына Л. К.Птицын А. В.2012 год

Формализация выбора систем виртуализации для образовательных программ по корпоративным… : статья из журнала

  • Птицына Л. К. и др.
  • 2012 год
Методысовершенствованияпрограммных средстввыявления плагиата Слива Александр ВладимировичФокина Валерия НиколаевнаАбрамова Анастасия Валерьевна2015 год

Методы совершенствования программных средств выявления плагиата : статья из журнала

  • Слива Александр Владимирович и др.
  • 2015 год
Матрично-топологическое формированиеметода контурныхтоков Сапсалев Анатолий ВасильевичБогданов Вадим ВалентиновичМакаров Денис Владимирович2015 год

Матрично-топологическое формирование метода контурных токов : статья из журнала

  • Сапсалев Анатолий Васильевич и др.
  • 2015 год
Качество программногообеспечения иформированиеинформативныхсообщений об ошибкахMicrosoft SQL Server Лихачев Владимир Николаевич2012 год

Качество программного обеспечения и формирование информативных сообщений об ошибках Microsoft SQL… : статья из журнала

  • Лихачев Владимир Николаевич
  • 2012 год
Универсальныйвременной критерийдля оценкипроизводительностиоблачных вычислений Макаров М. А.2014 год

Универсальный временной критерий для оценки производительности облачных вычислений : статья из журнала

  • Макаров М. А.
  • 2014 год
Информационнаясистема поддержкинаучных исследованийпри разработкеметодикрентгенофлуоресцентного анализа вещества Черкашин Е. А.Воробьева О. ППарамонов В. В.2012 год

Информационная система поддержки научных исследований при разработке методик… : статья из журнала

  • Черкашин Е. А. и др.
  • 2012 год
Экспериментальноеизучение стоячейзвуковой волны спомощью компьютерныхтехнологий Данилов Олег Евгеньевич2014 год

Экспериментальное изучение стоячей звуковой волны с помощью компьютерных технологий : статья из журнала

  • Данилов Олег Евгеньевич
  • 2014 год