>> 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
他の版・巻

類似資料:

1 電子ブック Proof Theory in Computer Science

PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings (: gw)

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

Springer-Verlag
2 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (: pbk)

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

Springer
8 図書 Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (: us ; : gw)

International Conference on Automated Deduction, Bundy, Alan

Springer-Verlag
3 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw)

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

Springer-Verlag
9 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings (: pbk)

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

Springer
4 電子ブック Extensions of Logic Programming

Schroeder-Heister, Schroeder-Heister, Peter Joseph

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us)

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

Springer-Verlag
5 図書 Automated deduction in geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

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

Springer
11 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)

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

Springer-Verlag
6 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: gw ; : us)

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

Springer-Verlag
12 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings (: gw ; : us)

International Conference on Automated Deduction, Shostak, Robert, 1931-

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