|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О сложности верификации автоматов-преобразователей над коммутативными полугруппамистатья
- Авторы: Гнатенко А.Р., Захаров В.А.
- Сборник: Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.)
- Редакторы: Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
- Серия: Проблемы теоретической кибернетики
- Год издания: 2017
- Место издания: М: МАКС Пресс
- Первая страница: 68
- Последняя страница: 71
- Добавил в систему: Захаров Владимир Анатольевич