Отображение 1 - 5 результаты of 5 для поиска 'Игнатьев, Алексей Сергеевич', время запроса: 0.01сек. Отмена результатов
  1. 1
    Решение систем логических уравнений с использованием BDD
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  2. 2
    Использование двоичных диаграмм решений в задачах обращения дискретных функций
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  3. 3
    Использование двоичных диаграмм решений в задачах обращения дискретных функций
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  4. 4
    Методы обращения дискретных функций с применением двоичных решающих диаграмм автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18
    Перейти в каталог НБ ТГУ
    Книга
  5. 5
    Гибридный (SAT+ROBDD) логический вывод в задачах обращения дискретных функций
    Другие авторы: “...Игнатьев, Алексей Сергеевич...”
    Перейти в каталог НБ ТГУ
    Статья в сборнике
Инструменты поиска: RSS-поток