著者典拠情報

標目形：
Shanin, N. A. (Nikolaĭ Aleksandrovich)
属性：
Personal
から見よ参照形：
Shanin, Nikolaĭ Aleksandrovich
Šanin, N. A.
Шанин, Н. А. (Николай Александрович)
注記：
NUC (hdg.: Shanin, Nikolaĭ Aleksandrovich; Shanin, N. A.; usage: N.A. Shanin [in Cyrillic]; N.A. Šanin)
LC data base, 9-30-88 (hdg.: Shanin, Nikolaĭ Aleksandrovich; usage: N.A. Šanin)
EDSRC:Алгорифм машинного поиска естественного логического вывода в исчислении высказываний / Н.А. Шанин ... [и др.] (Наука, 1965)
著者典拠ID：
DA0656940X


 close
1.

図書
図書
1. Проблемы конструктивного направления в математике : сборник работ (5 ; 6)
под редакцией В.П. Оревкова и Н.А. Шанина
出版情報: Ленинград : Изд-во“Наука", 1970-
シリーズ名: Труды Ордена Ленина Математического института имени В.А. Стеклова ; 113, 129
所蔵情報: loading…
2.

図書
図書
2. Проблемы Конструктивного направления В математике (3)
под ред. Н.А.Шанина
出版情報: Москва : "Наука", 1964
シリーズ名: Труды Математического института имени В.А. Стеклова ; 72
所蔵情報: loading…
3.

図書
図書
3. Проблемы конструктивного направления в математике : сборник работ (1 ; 4 ; 5)
под редакцией Н.А. Шанина
出版情報: Ленинград : Изд-во“Наука", 1958-
シリーズ名: Труды математического института имени В.А. Стеклова ; т. 52, 93, 113
所蔵情報: loading…