skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1990Até1999 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)

2
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

3
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Material Type:
Livro 		Adicionar ao Meu Espaço

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c1997

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

4
Algebraic logic and universal algebra in computer science proceedings
Algebraic logic and universal algebra in computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic logic and universal algebra in computer science proceedings

Conference on Algebraic Logic and Universal Algebra in Computer Science, Ames, 1988 Clifford H Bergman; Roger Maddux

Berlin Springer 1990

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

5
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil) Walter A Carnielli (Walter Alexandre); Itala M. L D'Ottaviano 1944-

Providence, RI American Mathematical Society 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 CM v.235 ) e outros locais(Acessar)

6
Logic from computer science proceedings of a workshop held November 13-17, 1989
Logic from computer science proceedings of a workshop held November 13-17, 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic from computer science proceedings of a workshop held November 13-17, 1989

Yiannis N Moschovakis

New York Springer-Verlag c1992

Localização: IME - Inst. Matemática e Estatística    (QA11.7.C M896L )(Acessar)

7
Logic for computer science
Logic for computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for computer science

Steve Reeves 1957- Michael Clarke 1940-

Wokingham, England Addison-Wesley Reading, Mass. c1990

Localização: EPBC - Esc. Politécnica-Bib Central    (658.788 R259L )(Acessar)

8
Mathematical logic for computer science
Mathematical logic for computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical logic for computer science

M. Ben-Ari 1948-

New York Prentice Hall 1993

Localização: IME - Inst. Matemática e Estatística    (QA11.7 B456m e.1 )(Acessar)

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (224)
  2. Recursos Online (23)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (221)
  2. Produções Técnicas  (3)
  3. Artigos  (2)
  4. Produções Acadêmicas  (1)
  5. Revistas  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (31)
  2. 1992Até1993  (34)
  3. 1994Até1995  (46)
  4. 1996Até1998  (90)
  5. Após 1998  (27)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (227)
  2. Francês  (2)
  3. Português  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.