Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
2 |
Material Type: Livro
|
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 ProceedingsBörger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
3 |
Material Type: Livro
|
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected PapersKleine Büning, Hans Kleine Büning, HansBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
4 |
Material Type: Livro
|
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected PapersBörger, Egon ; Gurevich, Yuri ; Meinke, Karl Gurevich, Yuri ; Meinke, Karl ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
5 |
Material Type: Livro
|
CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 ProceedingsBörger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
|
6 |
Material Type: Livro
|
Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected PapersDalen, Dirk van ; Bezem, Marc van Dalen, Dirk ; Bezem, MarcBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
7 |
Material Type: Livro
|
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 ProceedingsFribourg, Laurent Fribourg, LaurentBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
8 |
Material Type: Livro
|
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 ProceedingsBradfield, Julian Bradfield, JulianBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
9 |
Material Type: Livro
|
Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected PapersNielsen, Mogens ; Thomas, Wolfgang Nielsen, Mogens ; Thomas, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
10 |
Material Type: Livro
|
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ProceedingsMarcinkowski, Jerzy Tarlecki, Andrzej ; Marcinkowski, JerzyBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |