skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic
Computer Science Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic

European Association for Computer Science Logic. Conference Jerzy Marcinkowski; Andrzej Tarlecki

Springer Berlin / Heidelberg 2004

Acesso online

2
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Workshop on Computer Science Logic (16th 2002 Edinburgh, Scotland) J. C Bradfield; European Association for Computer Science Logic Conference Edinburgh, Scotland) 2002

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2471 )(Acessar)

3
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings

Workshop on Computer Science Logic (19th 2005 Oxford, England) European Association for Computer Science Logic Conference 2005 Oxford, England)

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

4
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1414 ) e outros locais(Acessar)

5
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999

Berlin New York Springer c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1683 e.1 ) e outros locais(Acessar)

6
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for Computer Science Logic Conference Fischbachau, Germany) 2000

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1862 ) e outros locais(Acessar)

7
Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

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

Workshop on Computer Science Logic (18th 2004 Karpacz, Poland) Jerzy Marcinkowski 1965; Andrzej Tarlecki; European Association for Computer Science Logic Conference Karpacz, Poland) 2004

Berlin Springer New York c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3210 ) e outros locais(Acessar)

8
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) D. van Dalen (Dirk) 1932-; M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1258 ) e outros locais(Acessar)

9
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings

Matthias Baaz; Johann A Makowsky 1948-; European Association for Computer Science Logic Conference Vienna University of Technology) 2003; Workshop on Computer Science Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2803 )(Acessar)

10
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Fribourg, Laurent Fribourg, Laurent

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1997  (3)
  2. 1997Até1998  (4)
  3. 1999Até2000  (5)
  4. 2001Até2003  (6)
  5. Após 2003  (8)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.