著者典拠情報

著者標目形：
Workshop on Computer Science Logic
属性：
Meeting
場所：
Karlsruhe;Duisburg;Kaiserslautern;Heidelberg;Bern;Swansea;Paderborn;Utrecht;Madrid;Fischbachau, Germany;Paris
日付：
1987;1988;1989;1990;1991;1994;1995;1996;1998;1999;2000;2001
から見よ参照形：
CSL
International Workshop, CSL
注記：
Its (1st : 1987 : Karlsruhe, Germany) CSL '87, c1988: CIP t.p. (CSL '87; 1st Workshop on Computer Science Logic, Karlsruhe, FRG, Oct. 1987)
Its (2nd : 10/3-7/88 : Duisburg, FRG) CSL '88, c1989
Its (3rd : 10/2-6/89 : Kaiserslautern, FRG) CSL '89, c1990
Its (4th : 10/1-5/90 : Heidelberg, Germany) Computer science logic, c1991
Its (5th : 10/7-11/91 : Berne, Switzerland) CSL '91, c1992
Its (6th : 9/28-10/2 : San Miniato, Italy) CSL '92, c1993
Its (7th : 9/13-17/93 : Swansea, United Kingdom) CSL '93, c1994
Its (8th : 9/25-30/94 : Kazimierz, Poland) CSL '94, c1995
EDSRC:Computer science logic, c1996: t.p. (9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995)
EDSRC:Computer science logic, c1997: t.p. (10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996)
EDSRC:Computer science logic, c1999: t.p. (12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998)
EDSRC:Computer science logic, c2000: t.p. (14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000)
EDSRC:Computer science logic, c2001: t.p. (15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001)
著者典拠ID：
DA02672145


1.

図書
図書
1. Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Laurent Fribourg (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2142 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Peter G. Clote, Helmut Schwichtenberg (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1862
所蔵情報: 図書館
3.

図書
図書
3. Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: 図書館
4.

図書
図書
4. Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: 図書館
5.

図書
図書
5. Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1092
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
6.

図書
図書
6. Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers (: gw ; : us)
Leszek Pacholski, Jerzy Tiuryn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 933
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
7.

図書
図書
7. Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 832
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
8.

図書
図書
8. Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (: gw ; : us)
E. Börger ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 702
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
9.

図書
図書
9. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)
E. Börger ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 626
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
10.

図書
図書
10. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings (: Berlin ; : New York)
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 533
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館