ЖДТУ Бібліотека Електронний каталог
 
Чеботарев А.Н.
Синтез автоматов, специфицированных в логических языках LP и LF первого порядка

Вид документа: Стаття періодичного видання
Рiк видання: 2018
Автор: Чеботарев А.Н. Вид автора: персона
Мова: Російська Обсяг: С.16-31
Шифр: 519.7 УДК: 519.7
Аннотацiя:LP-формула, LF-формула, автоматная семантика, нормальная форма, ортогонализация
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет