Вы здесь

Главная

ЛОМИ им. В.А. Стеклова

Связанные издания:

Вычислительные методы линейной алгебры. Параллельные вычисления
Исследования по конструктивной математике и математической логике
Исследования по конструктивной математике и математической логике. VI
Исследования по конструктивной математике и математической логике. VIII
Исследования по конструктивной математике и математической логике. VII (Отдельный оттиск)
Теоретические применения методов математической логики. III
Теория сложности вычислений. I