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

On the shape of mathematical arguments

種類:
図書
責任表示:
A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
出版情報:
Berlin ; New York : Springer-Verlag, c1990
著者名:
シリーズ名:
Lecture notes in computer science ; 445 <BA00009279>
ISBN:
9783540528494 [3540528490] (: gw)  CiNii Books  Calil
9780387528496 [0387528490] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック On the Shape of Mathematical Arguments

Gasteren, Antonetta J. M., SpringerLink (Online service)

Springer-Verlag
7 図書 Proofs and fundamentals : a first course in abstract mathematics

Bloch, Ethan D. 1956-

Birkhäuser
2 電子ブック On the Shape of Mathematical Arguments

Gasteren, Antonetta J.M. van., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック The Argument of Mathematics

Aberdein, Andrew., Dove, Ian J., SpringerLink (Online service)

Springer Netherlands : Imprint: Springer
3 図書 プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

Dijkstra, Edsger Wybe, 1930-, Feijen, W. H. J., 玉井, 浩

サイエンス社
9 図書 構造化プログラミング

Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Dahl, Ole-Johan, 1931-, 野下, &hellip;

サイエンス社
4 図書 プログラミング原論 : いかにしてプログラムをつくるか

Dijkstra, Edsger Wybe, 1930-, 浦, 昭二(1927-)

サイエンス社
10 電子ブック A Theory of Shape Identification

Cao, Frédéric, Sur, Frédéric, Morel, Jean-Michel, Musé, Pablo, Morel, J. -M, Takens, F., Teissier, B., Lisani, &hellip;

Springer-Verlag Berlin Heidelberg
5 図書 An accompaniment to higher mathematics

Exner, George R.

Springer-Verlag
11 図書 On a method of multiprogramming

Feijen, W. H. J., Gasteran, A.J.M. (Antonetta J. M.), 1952-

Springer
6 図書 A bridge to advanced mathematics

Sentilles, Dennis

Williams & Wilkins
12 図書 Handbook of proof theory

Buss, Samuel R.

Elsevier