>> Google Books
所蔵情報QRコード

Proof and system-reliability / edited by Helmut Schwichtenberg and Ralf Steinbrüggen

資料種別:
図書
出版情報:
Dordrecht : Kluwer Academic, c2002
形態:
xii, 415 p. ; 25 cm
シリーズ名:
NATO science series ; II . Mathematics, physics and chemistry ; v. 62 <BA40559140>
著者名:
ISBN:
9781402006074 [1402006071]
9781402006081 [140200608X] (: pbk)
書誌ID:
BA57066319
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Proof and Computation

Springer-Verlag

7 図書 Proof theory

竹内, 外史(1926-)

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

Schwichtenberg, Helmut, 1942-, Spies, Katharina

IOS Press

Szabo, M. E.

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland

Scarpellini, Bruno

Springer-Verlag

Broy, M., 1949-, Steinbrüggen, Ralf

IOS Press

Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Logic of Computation

Springer

Lemos, Rogério de, 1961-, Gacek, Cristina, 1964-, Romanovsky, Alexander, 1954-

Springer

5 図書 Proof theory

Schütte, K. (Kurt)

Springer-Verlag

Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, 1937-, Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on …

Springer-Verlag

6 図書 Proof theory

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

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

Olderog, E.-R., Steffen, Bernhard

Springer

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