Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedingsLeo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1833 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 ProceedingsBachmair, Leo Bachmair, LeoBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedingsHubert Comon; International Conference on Rewriting Techniques and Applications (8th 1997 Sitges, Spain)Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1232 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 ProceedingsComon, Hubert Comon, HubertBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
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 Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 ProceedingsGanzinger, Harald Ganzinger, HaraldBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
8 |
Material Type: Livro
|
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 2003 : ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, JanBerlin/Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
9 |
Material Type: Livro
|
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 ProceedingsHsiang, Jieh Hsiang, JiehBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
10 |
Material Type: Livro
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Ronald V BookSpringer Berlin Heidelberg 1991Acesso online |