ЖДТУ Бібліотека Електронний каталог
 
Чеботарев А.Н.
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза автоматов

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

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