| NCID | DA02672145 |
| 名称(HDNG) | Workshop on Computer Science Logic |
| 生没年(DATE) | 1987;1988;1989;1990;1991;1994;1995;1996;1998;1999;2000;2001 |
| から見よ(SF) | CSL
International Workshop, CSL |
| 注記(NOTE) | 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) |
| LCAID | 88021176 |