>> Amazon.co.jp
このページのQRコード

Computations in higher types

種類:
図書
責任表示:
Johan Moldestad
出版情報:
Berlin ; New York : Springer-Verlag, 1977
著者名:
Moldestad, Johan, 1946- <DA07583971>  
シリーズ名:
Lecture notes in mathematics ; 574 <BA00146586>
ISBN:
9783540081326 [3540081321] (: Berlin)  CiNii Books  Calil
9780387081328 [0387081321] (: New York)  CiNii Books  Calil
注記:
Bibliography: p. [195]-196
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Computations in Higher Types

Moldestad, J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Computability & unsolvability

Davis, Martin, 1928-

McGraw-Hill
2 図書 Theory of computation

Brainerd, Walter S., Landweber, Lawrence H.

Wiley
8 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
3 図書 Introduction to the theory of computation

Engeler, Erwin, 1930-

Academic Press
9 図書 Recursive functions

Péter, Rózsa, 1905-, Földes, István

Academic Press
4 図書 Robot dynamics algorithms

Featherstone, Roy

Kluwer
10 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions

Kleene, Stephen Cole, 1909-, Vesley, Richard Eugene, 1932-

North-Holland Pub. Co.
5 図書 Computability

Weihrauch, Klaus, 1943-

Springer-Verlag
11 図書 Algorithms and recursive functions

Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967, Boron, Leo F., Sanchis, Luis E., Stillwell, John, 井関, 清志(1919-)

Wolters-Noordhoff
6 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
12 図書 Computability and logic

Boolos, George, Jeffrey, Richard C.

Cambridge University Press