Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
20926
Связанные издания:
Reversible Computation: Proc./12th International Conference, RC 2020, Oslo, Norway, July 2020
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 2021
Вопросы выразимости для линейных автоматов