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

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2001
形態:
viii, 238 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2183 <BA00009279>
著者名:
ISBN:
9783540427520 [354042752X]
書誌ID:
BA53965621
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-

Springer

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society

Springer-Verlag

Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag

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

SpringerLink Books Mathematics and Statistics Without Lecture Notes 2016, Springer International Publishing

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag

Schroeder-Heister, Peter Joseph

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-, Herre, Heinrich, Schroeder-Heister, …

Springer-Verlag

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer

International Workshop on Automated Deduction in Geometry, Winkler, Franz, 1955-

Springer

Workshop on Theoretical Foundations of Computer Vision, 浅野, 哲夫(1949-), Klette, Reinhard, Ronse, Christian

Springer

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