Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Rewriting techniques and applicationsInternational Conference on Rewriting Techniques and Applications, 1., Dijon, 1985 Jean-Pierre JouannaudBerlin Springer 1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.202 ex.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985Jouannaud, Jean-Pierre Jouannaud, Jean-PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
3 |
Material Type: Livro
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre LescanneBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.256 ex.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 ProceedingsLescanne, Pierre Lescanne, PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
5 |
Material Type: Livro
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications, 3., Chapel Hill, 1989 Nachum DershowitzBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.355 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 ProceedingsDershowitz, Nachum Dershowitz, NachumBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
7 |
Material Type: Livro
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Ronald V BookSpringer Berlin Heidelberg 1991Acesso online |
|
8 |
Material Type: Livro
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (4 1991 Como) Ronald V BookBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.488 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 ProceedingsBook, Ronald V Book, Ronald V.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
10 |
Material Type: Livro
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Claude KirchnerSpringer Berlin Heidelberg 1993Acesso online |