Shanin, N. A. (Nikolaĭ Aleksandrovich)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 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) |
から見よ参照 | Shanin, Nikolaĭ Aleksandrovich Šanin, N. A. Шанин, Н. А. (Николай Александрович) |
コード類 | 典拠ID=AU20073632 NCID=DA0656940X |
1 | Constructive real numbers and constructive function spaces / by N. A. Šanin ; [translated from the Russian by E. Mendelson] Providence, R.I. : American Mathematical Society , 1968 |