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

The power of interaction

種類:
図書
責任表示:
Carsten Lund
出版情報:
Cambridge, Mass. : MIT Press, c1992
著者名:
Lund, Carsten, 1963- <DA06895560>  
シリーズ名:
ACM distinguished dissertations ; 1991 <BA00122894>
ISBN:
9780262121705 [0262121700]  CiNii Books  Calil
注記:
Includes bibliographical references (p. [116]-122) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

Buss, Samuel R.

Elsevier

Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942-

Cambridge University Press

2 図書 Proof theory

竹内, 外史(1926-), Symposium on Intuitionism and Proof Theory

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science

Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne

Cambridge University Press

Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute

Kluwer Academic

Bloch, Ethan D. 1956-

Birkhäuser

4 図書 Proof theory

竹内, 外史(1926-)

North-Holland Pub. Co, American Elsevier Pub. Co.

Goldblatt, Robert, 1949-

Springer-Verlag

Girard, Jean-Yves

Bibliopolis

Pohlers, Wolfram

Springer-Verlag