KOBV Portal

Journal/Serial

Annual Conference of the EACSL ...

European Association for Computer Science Logic

Berlin [u.a.] : Springer-Verlag

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB12407419

Series Statement: Lecture notes in computer science ...

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Journal/Serial

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 10: Computer science logic : 15th international workshop ; proceedings / CSL 2001, Paris, France, September 10 - 13, 2001. Laurent Fribourg (ed.) (2001)

Fribourg, Laurent ; CSL

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB13330427

Format: XII, 614 Seiten , Ill., graph. Darst. , 24 cm

ISBN: 3540425543

Series Statement: Lecture notes in computer science 2142

Note: Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Paris 〈2001〉 ; Programmierlogik ; Kongress ; Paris 〈2001〉 ; Logische Programmierung ; Kongress ; Paris 〈2001〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 11: Computer science logic : 16th international workshop ; proceedings / CSL 2002, Edinburgh, Scotland, UK, September 22 - 25, 2002. Julian Bradfield (ed.) (2002)

Bradfield, Julian ; CSL

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB13427432

Format: XII, 612 Seiten , graph. Darst. , 24 cm

ISBN: 3540442405

Series Statement: Lecture notes in computer science 2471

Note: Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Edinburgh 〈2002〉 ; Programmierlogik ; Kongress ; Edinburgh 〈2002〉 ; Logische Programmierung ; Kongress ; Edinburgh 〈2002〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 13: Computer science logic : 18th international workshop ; proceedings / CSL 2004, Karpacz, Poland, September 20-24, 2004. Jerzy Marcinkowski ; Andrzej Tarlecki (ed.) (2004)

Marcinkowski, Jerzy ; CSL (18 : 2004 : Karpacz) 18 Karpacz

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB13793654

Format: XI, 520 Seiten , graph. Darst.

ISBN: 3540230246

Series Statement: Lecture notes in computer science 3210

Note: Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Krummhübel 〈2004〉 ; Programmierlogik ; Kongress ; Krummhübel 〈2004〉 ; Logische Programmierung ; Kongress ; Krummhübel 〈2004〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 14: Computer science logic : 19th international workshop ; proceedings / CSL 2005, Oxford, UK, August 22 - 25, 2005. Luke Ong (ed.) (2005)

Ong, Luke ; CSL

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB13909898

Format: XI, 565 Seiten , 24 cm

ISBN: 3-540-28231-9

Series Statement: Lecture notes in computer science 3634

Note: Text engl.

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 15: Computer science logic : 20th international workshop ; proceedings / CSL 2006, Szeged, Hungary, September 25 - 29, 2006. Zoltán Ésik (ed.) (2006)

Ésik, Zoltán ; CSL (20 : 2006 : Szeged) 20 Szeged

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB14100310

Format: XII, 626 Seiten , graph. Darst. , 24 cm

ISBN: 9783540454588 , 3540454586

Series Statement: Lecture notes in computer science 4207

Note: Literaturangaben , Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Szeged 〈2006〉 ; Computational logic ; Kongress ; Szeged 〈2006〉 ; Logische Programmierung ; Kongress ; Szeged 〈2006〉 ; Programmierlogik ; Kongress ; Szeged 〈2006〉 ; Kongress ; Konferenzschrift

Author information: Ésik, Zoltán

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 16: Computer science logic : 21 international workshop ; proceedings / CSL 2007, Lausanne, Switzerland, September 11 - 15, 2007. Jacques Duparc ; Thomas A. Henzinger (ed.) (2007)

Duparc, Jacques ; CSL

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB14781786

Format: XIV, 600 Seiten , graph. Darst. , 24 cm

ISBN: 9783540749141 , 3540749144

Series Statement: Lecture notes in computer science 4646

Note: Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Lausanne 〈2007〉 ; Computational logic ; Kongress ; Lausanne 〈2007〉 ; Logische Programmierung ; Kongress ; Lausanne 〈2007〉 ; Programmierlogik ; Kongress ; Lausanne 〈2007〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 8: Computer science logic : 13th international workshop ; proceedings / CSL '99, Madrid, Spain, September 20 - 25, 1999. Jörg Flum ; Mario Rodríguez-Artalejo (ed.) (1999)

Flum, Jörg ; CSL (13 : 1999 : Madrid) 13 Madrid

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB12642774

Format: XI, 580 Seiten , graph. Darst. , 24 cm

Edition: 1

ISBN: 3540665366

Series Statement: Lecture notes in computer science 1683

Note: Literaturangaben , Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Madrid 〈1999〉 ; Logische Programmierung ; Kongress ; Madrid 〈1999〉 ; Programmierlogik ; Kongress ; Madrid 〈1999〉 ; Komplexitätstheorie ; Kongress ; Madrid 〈1999〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Annual Conference of the EACSL ...; 9: Computer science logic : 14th international workshop ; proceedings / CSL 2000, Fischbachau, Germany, August 21 - 26, 2000. Peter G. Clote ; Helmut Schwichtenberg (ed.) (2000)

Clote, Peter G. ; CSL (14 : 2000 : Fischbachau) 14 Fischbachau

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB12468136

Format: XIII, 541 Seiten , graph. Darst. , 24 cm

Edition: 1

ISBN: 3540678956

Series Statement: Lecture notes in computer science 1862

Note: Literaturangaben , Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Fischbachau 〈2000〉 ; Programmierlogik ; Kongress ; Fischbachau 〈2000〉 ; Logische Programmierung ; Kongress ; Fischbachau 〈2000〉 ; Kongress ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

hits 1 - 9 | 9 hits

Kooperativer Bibliotheksverbund

Berlin Brandenburg