skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.1 In8a 1 ) e outros locais(Acessar)

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

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

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

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

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

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

Buscando em bases de dados remotas. Favor aguardar.