Cписок

Жихарев В.Я., Латкин М.А.
Автоматизация доказательства тождеств в алгебре рекурсивных событий

Вид документа: Складова частина документа
Автор: Жихарев В.Я., Латкин М.А. Вид автора: персона
Мова: Російська Обсяг: С. 169-173
УДК: 512:004.315

Аннотацiя:

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

Є складовою частиною документа: Авиационно-космическая техника и технология

Відомості щодо головного

Вид автора головного документа:

Персона

Назва головного документа:

Авиационно-космическая техника и технология

Місце видання головного документа:

Х.

Видавник головного документа:

Гос. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т"

Дата видання головного документа:

1998

Номер частини головного документа:

Вып. 7

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