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

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

種類:
図書
責任表示:
K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1990
著者名:
シリーズ名:
Lecture notes in mathematics ; 1432 <BA00146586>
ISBN:
9783540527725 [3540527729] (: gw)  CiNii Books  Calil
9780387527727 [0387527729] (: us)  CiNii Books  Calil
注記:
Includes references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Ambos-Spies, Klaus., Müller, Gert H., Sacks, Gerald E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 The Navier-Stokes equations : theory and numerical methods : proceedings of a conference held at Oberwolfach, FRG, Sept. 18-24, 1988

増田, 久弥(1937-), Rautmann, R., 1930-, Solonnikov, V. A. (Vsevolod Alekseevich), Conference on the Navier-Stokes &hellip;

Springer-Verlag
2 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923-

Springer-Verlag
8 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
3 電子ブック Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

Ebbinghaus, Heinz-Dieter., Müller, Gert H., Sacks, Gerald E., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 電子ブック Constructive Theory of Functions of Several Variables : Proceedings of a Conference Held at Oberwolfach, April 25 - May 1, 1976

Schempp, W., Zeller, K., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977

Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S.

Springer-Verlag
10 図書 Quantum probability and applications III : proceedings of a conference held in Oberwolfach, FRG, January 25-31, 1987

Workshop on Quantum Probability and Applications, Accardi, Luigi, 1947-, Waldenfels, Wilhelm von, 1932-

Springer-Verlag
5 図書 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)

Springer-Verlag
11 電子ブック Quantum Probability and Applications III : Proceedings of a Conference held in Oberwolfach, FRG, January 25-31, 1987

Accardi, Luigi., Waldenfels, Wilhelm v., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック The Navier-Stokes Equations Theory and Numerical Methods : Proceedings of a Conference held at Oberwolfach, FRG, Sept. 18-24, 1988

Heywood, John G., Masuda, Kyuya., Rautmann, Reimund., Solonnikov, Vsevolod A., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, Gert Heinz, 1923-

Springer-Verlag