Опис документа

Зведений каталог бібліотек Харкова

Опис документа

Жихарев, В. Я.
Автоматизация доказательства тождеств в алгебре рекурсивных событий [Текст] / В.Я. Жихарев, М.А. Латкин // Авиационно-космическая техника и технология : сб. науч. тр. / М-во образования Украины, Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 1998. — С. 169-173.

- Анотація:

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

- Є складовою частиною документа:

Авиационно-космическая техника и технология [Текст] : сб. науч. тр. / М-во образования Украины, Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 1998. — 202 с.

- Теми документа

УДК // Алгебра
УДК // Арифметичні пристрої
Праці співробітників ХАІ // Жихарєв В.Я./Жихарев В.Я./Zhikharev V.
Праці співробітників ХАІ // Латкін М.О./Латкин М.А.
Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ

Наявність

Установа Кількість Документ на сайті установи

Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського Перейти на сайт