skip to main content
Idioma:
Resultados 1 2 3 4 next page
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
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer

Berlin u.a. Springer 2005

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

4
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.

5
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Nieuwenhuis, Robert Nieuwenhuis, Robert

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
6
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Calmet, Jacques ; Plaza, Jan Calmet, Jacques ; Plaza, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
7
Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers

Coquand, Thierry ; Dybjer, Peter ; Nordström, Bengt ; Smith, Jan Coquand, Thierry ; Nordström, Bengt ; Smith, Jan ; Dybjer, Peter

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
8
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Nipkow, Tobias Nipkow, Tobias

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
9
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio Berardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
10
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

Lescanne, Pierre Lescanne, Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (32)
  2. Dissertações  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1997  (5)
  3. 1998Até2001  (8)
  4. 2002Até2006  (24)
  5. Após 2006  (5)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (1)
  2. Japonês  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.