Blank Cover Image
所蔵情報QRコード

Proof and computation II : from proof theory and univalent mathematics to program extraction and verification / editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg

資料種別:
電子ブック
出版情報:
World Scientific eBooks
形態:
1 online resource (xvi, 408 p.)
著者名:
ISBN:
9789811236488 [9811236488] (: electronic bk)
書誌ID:
EB00002054
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 図書 Proof technology and computation (IOS Press)

Schwichtenberg, Helmut, 1942-, Spies, Katharina

IOS Press
7 図書 Scientific computation on mathematical problems and conjectures

Varga, Richard S., 1928-

Society for Industrial and Applied Mathematics
2 図書 Proof and computation

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

Springer-Verlag
8 図書 From mathematics to philosophy

Wang, Hao, 1921-

Routledge & Kegan Paul, Humanities Press
3 電子ブック Basic proof theory (: electronic bk)

Troelstra, A. S., Schwichtenberg, Helmut
9 図書 The nature of mathematical knowledge

Kitcher, Philip, 1947-

Oxford University Press
4 図書 Proofs and refutations : the logic of mathematical discovery (: hard ; : pbk)

Lakatos, Imre, 1927-1974, Worrall, John, Zahar, Elie

Cambridge University Press
10 図書 Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

MKM, Asperti, Andrea, Buchberger, Bruno, 1942-, Davenport, J. H.

Springer
5 図書 Proof and system-reliability (: pbk)

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

Kluwer Academic
11 図書 Logic of computation

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

Springer
6 図書 Computer programming: techniques, analysis, and mathematics

Andree, Richard Vernon, 1919-, Andree, Josephine P., Andree, David D.

Prentice-Hall
12 図書 The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability

Reichenbach, Hans, 1891-1953, Hutten, Ernest H. (Ernest Hirschlaff), 1908-, Reichenbach, Maria

University of California Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12