Blank Cover Image
所蔵情報QRコード

Лекции о вычислимых функциях / В.А. Успенский

資料種別:
図書
出版情報:
Москва : Гос. изд-во физико-математической лит-ры, 1960
形態:
492 p ; 21 cm
シリーズ名:
Математическая логика и основания математики <BA20977603>
著者名:
Uspenskiĭ, V. A. (Vladimir Andreevich) <DA0274150X>  
書誌ID:
BA38484730
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Some applications of mechanics to mathematics

Uspenskiĭ, V. A. (Vladimir Andreevich), Moss, Halina, Sneddon, Ian Naismith, 1919-

Pergamon Press
7 図書 Песнь о нибелунгах

Admoni, V. G. (Vladimir Grigorʹevich), 1909-, Zhirmunskiĭ, Viktor Maksimovich, 1891-1971

Наука
2 図書 微分と微分方程式 . 力学の数学への応用

Bolti︠a︡nskiĭ, V. G. (Vladimir Grigorʹevich), 1925-, Uspenskiĭ, V. A. (Vladimir Andreevich), 清原, 岑夫(1931-)

東京図書
8 図書 Recursive macroeconomic theory (: hardcover)

Ljungqvist, Lars, Sargent, Thomas J.

MIT Press
3 図書 Введение в топонимику

Nikonov, Vladimir Andreevich, 1904-

Изд-во "Наука"
9 図書 Theory of computation

Brainerd, Walter S., Landweber, Lawrence H.

Wiley
4 図書 Бардин

Mezent︠s︡ev, V. A. (Vladimir Andreevich), 1913-

"Молодая гвардия"
10 図書 An introduction to the general theory of algorithms (: pbk)

Machtey, Michael, Young, Paul, 1936-

North-Holland
5 図書 Драматургия Чехова ; О советской литературе

Ermilov, V. (Vladimir), 1904-1965

Гос. изд-во худож. лит-ры
11 図書 Robot dynamics algorithms

Featherstone, Roy

Kluwer
6 図書 Методы определения экономической эффективности новой техники в строительстве

Uspenskiĭ, V. V.

Госстройиздат
12 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12