Proof Theory in Computer Science

フォーマット:
電子ブック
責任表示:
PTCS 2001 ; Kahle, Reinhard ; Schroeder-Heister, Peter Joseph ; Stärk, Robert F.
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2001
著者名:
ISBN:
9783540427520 [354042752X]  CiNii Books  Webcat Plus  Google Books
9783540455042 [3540455043]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter

Springer International Publishing

7 電子ブック Computer Science Logic

CSL 2001, Fribourg, Laurent, European Association for Computer Science Logic.

Springer Berlin Heidelberg

Schroeder-Heister, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

Joseph

Springer Berlin Heidelberg

ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

Rychlak, Joseph F.

Houghton Mifflin Company

Krantz, Steven G. (Steven George), 1951-

Birkhäuser, Springer

RelMiCS 2001, Swart, H. C. M. de, European Cooperation in the Field of Scientific and Technical Research (Organization).

Springer Berlin Heidelberg