skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover autor: International Conference on Rewriting Techniques and Applications remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewriting techniques and applications
Rewriting techniques and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications

International Conference on Rewriting Techniques and Applications, 1., Dijon, 1985 Jean-Pierre Jouannaud

Berlin Springer 1985

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

2
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings

Hubert Comon; International Conference on Rewriting Techniques and Applications (8th 1997 Sitges, Spain)

Berlin Springer New York c1997

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

3
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Tobias Nipkow 1958-; International Conference on Rewriting Techniques and Applications (9th 1998 Tsukuba-shi, Japan)

Berlin Springer New York 1998

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

4
Rewriting techniques and applications proceedings
Rewriting techniques and applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications proceedings

International Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre Lescanne

Berlin Springer 1987

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

5
Rewriting techniques and applications proceedings
Rewriting techniques and applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications proceedings

International Conference on Rewriting Techniques and Applications, 3., Chapel Hill, 1989 Nachum Dershowitz

Berlin Springer 1989

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

6
Rewriting techniques and applications proceedings
Rewriting techniques and applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications proceedings

International Conference on Rewriting Techniques and Applications (5. 1993 Montreal) Claude Kirchner

Berlin Springer 1993

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

7
Rewriting techniques and applications proceedings
Rewriting techniques and applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications proceedings

International Conference on Rewriting Techniques and Applications (4 1991 Como) Ronald V Book

Berlin Springer 1991

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

8
Rewriting techniques and applications proceedings
Rewriting techniques and applications proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications proceedings

International Conference on Rewriting Techniques and Applications (6. 1995 Kaiserslautern) Jieh Hsiang

Berlin Springer 1995

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

9
Rewriting techniques and applications proceedings [of the] 7th international conference, rta-96, new brunswick, nj, usa, july 27-30, 1996
Rewriting techniques and applications proceedings [of the] 7th international conference, rta-96, new brunswick, nj, usa, july 27-30, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications proceedings [of the] 7th international conference, rta-96, new brunswick, nj, usa, july 27-30, 1996

International Conference on Rewriting Techniques and Applications (7. 1996 New Brunswick, Us) Harald Ganzinger

Berlin Springer 1996

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1987  (1)
  2. 1987Até1988  (1)
  3. 1989Até1990  (1)
  4. 1991Até1993  (2)
  5. Após 1993  (4)
  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.