Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
CSL '89Workshop on Computer Science Logic Egon Börger; Hans Kleine Büning; Michael M RichterSpringer Berlin Heidelberg 1990Acesso online |
|
12 |
Material Type: Livro
|
Computer Science LogicWorkshop on Computer Science Logic Egon Börger; Yuri Gurevich; Karl MeinkeSpringer Berlin Heidelberg 1994Acesso online |
|
13 |
Material Type: Livro
|
Computer Science LogicWorkshop on Computer Science Logic Georg Gottlob; Etienne Grandjean; Katrin SeyrSpringer Berlin Heidelberg 1999Acesso online |
|
14 |
Material Type: Livro
|
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedingsWorkshop on Computer Science Logic (16th 2002 Edinburgh, Scotland) J. C Bradfield; European Association for Computer Science Logic Conference Edinburgh, Scotland) 2002Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2471 )(Acessar) |
|
15 |
Material Type: Livro
|
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedingsWorkshop on Computer Science Logic (19th 2005 Oxford, England) European Association for Computer Science Logic Conference 2005 Oxford, England)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
16 |
Material Type: Livro
|
Computer Science LogicWorkshop on Computer Science Logic Jörg Flum; Mario Rodríguez Artalejo; Jan van Leeuwen; European Association for Computer Science Logic.Springer Berlin Heidelberg 1999Acesso online |
|
17 |
Material Type: Livro
|
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papersWorkshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.702 e.1 ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
Computer science logic proceedingsWorkshop on Computer Science Logic (7. 1993 Swamsea) E Borger; Yuri GurevichBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.823 e.1 ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Computer science logic 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedingsWorkshop on Computer Science Logic (21st 2007 Lausanne, Switzerland) Jacques Duparc; Thomas A HenzingerBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4646 ) e outros locais(Acessar) |
|
20 |
Material Type: Livro
|
Computer Science LogicWorkshop on Computer Science Logic Egon Börger; G Jager; H Kleine B:uning; Michael M RichterSpringer Berlin Heidelberg 1992Acesso online |