Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedingsInternational Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz BaaderBerlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4533 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedingsInternational Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank PfenningBerlin Springer New York 2006Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedingsInternational Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen GieslBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Vincent van OostromSpringer Berlin / Heidelberg 2004Acesso online |
5 |
Material Type: Livro
|
![]() |
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedingsInternational Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany) Vincent van Oostrom 1966Berlin Springer New York, NY c2004Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, ProceedingsOostrom, Vincent van van Oostrom, VincentBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Gerhard Goos; Juris Hartmanis; Robert Nieuwenhuis; Jan van LeeuwenSpringer Berlin Heidelberg 2003Acesso online |
8 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, ProceedingsNieuwenhuis, Robert Nieuwenhuis, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
9 |
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 |
10 |
Material Type: Livro
|
![]() |
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Sophie TisonSpringer Berlin Heidelberg 2002Acesso online |