Электронный каталог

Статья

Рыбаков, М.
Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных / М.Рыбаков // Доклады Российской Академии наук. Математика, информатика, процессы управления. – 2022. – Т.507. – С.61-65. – URL: https://doi.org/10.1134/S1064562422700053. – Библиогр.:24.



Спец.(статьи,препринты) = С 14 - Математическая логика