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

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

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