skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Workshop on Computer Science Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

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

4
Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Workshop on Computer Science Logic (12th 1998 Brno, Czech Republic) G Gottlob (Georg); E Grandjean (Etienne); Katrin Seyr

Berlin Springer New York 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1584 ) 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 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)

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

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

10
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin Springer-Verlag New York c1988

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.