すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

Workshop on Computer Science Logic

ID:DA02672145

別名: CSL

International Workshop, CSL

同姓同名の著者を検索

検索結果23件中 1-20 を表示

1
2
1 / 2

1

Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Erich Grädel, Reinhard Kahle (eds.)

Springer c2009 Lecture notes in computer science 5771

: pbk

所蔵館4館
2

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Michael Kaminski, Simone Martini (eds.)

Springer c2008 Lecture notes in computer science 5213

所蔵館2館
3

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Jacques Duparc, Thomas A. Henzinger (eds.)

Springer c2007 Lecture notes in computer science 4646

所蔵館5館
4

Computer science logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, proceedings

Zoltán Ésik (ed.)

Springer c2006 Lecture notes in computer science 4207

所蔵館12館
5

Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Luke Ong (ed.)

Springer c2005 Lecture notes in computer science 3634

所蔵館16館
6

Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Jerzy Marcinkowski, Andrzej Tarlecki (eds.)

Springer c2004 Lecture notes in computer science 3210

所蔵館20館
7

Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Matthias Baaz, Johann A. Makowsky (eds.)

Springer c2003 Lecture notes in computer science 2803

所蔵館31館
8

Computer science logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Julian Bradfield (ed.)

Springer c2002 Lecture notes in computer science 2471

所蔵館33館
9

Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Laurent Fribourg (ed.)

Springer c2001 Lecture notes in computer science 2142

所蔵館30館
10

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.)

Springer c2000 Lecture notes in computer science 1862

所蔵館40館
11

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.)

Springer c1999 Lecture notes in computer science 1683

所蔵館41館
12

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)

Springer c1999 Lecture notes in computer science 1584

所蔵館47館
13

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.)

Springer c1998 Lecture notes in computer science 1414

所蔵館46館
14

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.)

Springer c1997 Lecture notes in computer science 1258

所蔵館53館
15

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.)

Springer c1996 Lecture notes in computer science 1092

所蔵館61館
16

Computer science logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers

Leszek Pacholski, Jerzy Tiuryn (eds.)

Springer-Verlag c1995 Lecture notes in computer science 933

: gw , : us

所蔵館64館
17

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Springer-Verlag c1994 Lecture notes in computer science 832

: gw , : us

所蔵館59館
18

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

E. Börger ... [et al.] (eds.)

Springer-Verlag c1993 Lecture notes in computer science 702

: gw , : us

所蔵館54館
19

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings

E. Börger ... [et al.], eds

Springer-Verlag c1992 Lecture notes in computer science 626

: gw , : us

所蔵館53館
20

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

E. Börger ... [et al.], eds

Springer-Verlag c1991 Lecture notes in computer science 533

: gw , : us

所蔵館53館

1
2
1 / 2

この著者を外部サイトでさがす

関連著者

ページトップへ