Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 ProceedingsCalmet, Jacques ; Plaza, Jan Calmet, Jacques ; Plaza, JanBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
2 |
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 |
3 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. ProceedingsMiddeldorp, Aart Middeldorp, AartBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 ProceedingsTison, Sophie Tison, SophieBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
5 |
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 |
6 |
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 |
7 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 ProceedingsNarendran, Paliath ; Rusinowitch, Michael Narendran, Paliath ; Rusinowitch, MichaelBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 ProceedingsKirchner, Claude Kirchner, ClaudeBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
9 |
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 |
10 |
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 |