skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1990Até1999 remover data de publicação: 1996Até1998 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

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

4
Logic and computer science logical specification
Logic and computer science logical specification
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Logic and computer science logical specification

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.40 )(Acessar)

5
On some connections between logic and computer science
On some connections between logic and computer science
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

On some connections between logic and computer science

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.38 )(Acessar)

6
Logic and discrete mathematics a computer science perspective
Logic and discrete mathematics a computer science perspective
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and discrete mathematics a computer science perspective

Winfried K. Grassmann Jean-Paul Tremblay 1938-

Upper Saddle River, N.J. Prentice Hall c1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68R01 G769ld e.1 )(Acessar)

7
Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995
Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995

Workshop on Computer Science Logic (9. 1995 Paderborn, De) H. Kleine Buning

Berlin Springer 1996

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

8
Computer science and logic fork algebras
Computer science and logic fork algebras
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Computer science and logic fork algebras

Paulo A. S. Veloso

Rio de Janeiro PUC 1997

Localização: IME - Inst. Matemática e Estatística    (S M751 1997 v.41 )(Acessar)

9
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic Rewriting Techniques

John C. Constable, Robert Gallier, Jean Cherniavsky Robert Constable; Jean Gallier; Johannes Grabmeier; Volker Weispfenning

Birkhäuser Basel 1998

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

10
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (89)
  2. Recursos Online (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (86)
  2. Produções Técnicas  (3)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.