Skip to content
  • Language
    • English
    • Русский

Advanced
  • Решение больших систем логичес...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Решение больших систем логических уравнений

Решение больших систем логических уравнений

Bibliographic Details
Main Author: Закревский, Аркадий Дмитриевич 1928-2014
Format: Book
Language:Russian
Published: Минск ОИРИ НАН Беларуси 2009
Subjects:
логические уравнения
большие системы логических уравнений
минимизация дерева поиска
метод силлогизмов
метод распространения констант
метод локальной редукции
эффект коллапса
системы линейных логических уравнений
параллелизм рандомизированный
системы линейных логических уравнений переопределенных
Online Access:Перейти в каталог НБ ТГУ
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Physical Description:95, [1] с. ил., табл.
Bibliography:Библиогр.: с. 90-96
ISBN:9789856744504

Similar Items

  • Разработка и исследование параллельных комбинаторных алгоритмов
    by: Тимошевская, Наталия Евгеньевна
  • The C++ classes for a system of logic equations
    by: Kirienko, N. A.
  • Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов
    by: Закревский, Аркадий Дмитриевич 1928-2014
    Published: (1966)
  • Системы линейных уравнений учебно-методическое пособие
    Published: (2002)
  • Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
    by: Седов, Юрий Владимирович
    Published: (2004)
|   Advanced Search   |   Search Tips   |

Большой университет Томска
https://university-tomsk.ru/
Loading...