Отображение 1 - 4 результаты of 4 для поиска 'Шатилов, Никита Петрович', время запроса: 0.02сек. Отмена результатов
  1. 1
    Упрощение сколемовских функций в булевых формулах с кванторами
    Статья в сборнике
  2. 2
    Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами
    Полный текст
    Статья в журнале
  3. 3
    К упрощению сколемовых функций в булевых формулах с кванторами
    Полный текст
    Статья в журнале
  4. 4
    Экспериментальное сравнение аппаратной и программной реализаций алгоритма шифрования DES
    Другие авторы: “...Шатилов, Никита Петрович...”
    Полный текст
    Статья в сборнике
Инструменты поиска: RSS-поток