Showing 1 - 4 results of 4 for search 'Шатилов, Никита Петрович', query time: 0.02s Refine Results
  1. 1
    Упрощение сколемовских функций в булевых формулах с кванторами
    Book Chapter
  2. 2
    Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами
    Get full text
    Article
  3. 3
    К упрощению сколемовых функций в булевых формулах с кванторами
    Get full text
    Article
  4. 4
    Экспериментальное сравнение аппаратной и программной реализаций алгоритма шифрования DES
    Other Authors: “...Шатилов, Никита Петрович...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
Search Tools: Get RSS Feed