Лекция 3. С.Л. Кузнецов, Т.Г. Пшеницын. PSPACE-трудность логик между FL и Int. Теорема об ...
20 мая 2025 г.
Источник: UCCYrG-ClLJ1dB-jllboj5QQ
Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!
20 мая 2025 г.
Источник: UCCYrG-ClLJ1dB-jllboj5QQ