close
1.

図書
図書
1. 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
所蔵情報: loading…
2.

図書
図書
2. Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Jörg Flum, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1683
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…