База данных: Электронная библиотека
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
Страница 1, Результатов: 1