close
1.

図書
図書
1. Теория сложности вычислений : сборник работ (1 - 4)
под редакцией Д. Ю. Григорьева
出版情報: Ленинград : Наука, 1982-1989
シリーズ名: Записки научных семинаров ЛОМИ ; т. 118, 137, 174, 176
所蔵情報: loading…
2.

図書
図書
2. Теоретические применения методов математической логики : сборник работ (1 ; 2 ; 3)
под редакцией С. Ю. Маслова и Г. Е. Минца
出版情報: Ленинград : Наука, 1975-1981
シリーズ名: Записки научных семинаров ЛОМИ ; т. 49, 68, 105
所蔵情報: loading…