skip to main content
Idioma:
Refinado por: assunto: Reduktionssystem remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings

International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz Baader

Berlin Springer New York c2007

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

2
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

International Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen Giesl

Berlin Springer New York c2005

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

3
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings

International Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany) Vincent van Oostrom 1966

Berlin Springer New York, NY c2004

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

4
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Kirchner, Claude Kirchner, Claude

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
5
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Tison, Sophie Tison, Sophie

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
6
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings

Middeldorp, Aart Middeldorp, Aart

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
7
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

Comon, Hubert Comon, Hubert

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
8
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

Oostrom, Vincent van van Oostrom, Vincent

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
9
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Book, Ronald V Book, Ronald V.

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
10
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Hsiang, Jieh Hsiang, Jieh

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1996  (3)
  2. 1996Até1998  (3)
  3. 1999Até2001  (3)
  4. 2002Até2005  (11)
  5. Após 2005  (3)
  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.