Resultados de 1 a 10 de 25 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
nível superior:
Recursos Online
| 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 Aart MiddeldorpSpringer Berlin Heidelberg 2001Acesso online |
| 2 |
Material Type: Livro
|
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Sophie TisonSpringer Berlin Heidelberg 2002Acesso online |
| 3 |
Material Type: Livro
|
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Vincent van OostromSpringer Berlin / Heidelberg 2004Acesso online |
| 4 |
Material Type: Livro
|
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Ronald V BookSpringer Berlin Heidelberg 1991Acesso online |
| 5 |
Material Type: Livro
|
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Claude KirchnerSpringer Berlin Heidelberg 1993Acesso online |
| 6 |
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. |
| 7 |
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. |
| 8 |
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 |
| 9 |
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. |
| 10 |
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 |
Resultados de 1 a 10 de 25 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Programming (19)
- Algorithms (19)
- Rewriting Systems (16)
- Congresses (16)
- Reduktionssystem (15)
- Computer Science (15)
- Mathematical Logic And Formal Languages (14)
- Mathematical Logic (13)
- Programming Languages, Compilers, Interpreters (13)
- Machine Theory (13)
- Computermethoden (12)
- Bewijstheorie (12)
- Artificial Intelligence (12)
- Compilers (12)
- Algorithms -- Congresses (12)
- Programming Languages (12)
- Réécriture (12)
- Algebraïsche Logica (11)
- Algebra (11)
- Data Processing (11)
- Algorithmes (10)
- Specificatie (9)
- Linguagens Formais (Congressos) (3)
- Rewriting Systems (Computer Science) (3)
- Teoria Da Computação (Congressos) (3)
- Algorithme (2)
- Rewriting applications (1)
- Syst Eme De R E Ecriture (1)
- Algebra Ische Logica (1)
- R E Ecriture, Syst Emes De (Informatique) (1)
- Programmation (Informatique) (1)
- Rewriting techniques (1)
- Termersetzungssystem (1)
- Aachen (2004) (1)
- Algorithme (1)
- Specificatie (1)
- Termersetzungssystem (1)
- Rta (1)
- Algorithmes (1)
-
Mais opções
Autor/Criador
- International Conference on Rewriting Techniques and Applications (9)
- Oostrom, V (2)
- Pfenning, F (1)
- Giesl, J (1)
- Van Leeuwen, J (1)
- Book, R (1)
- Hartmanis, J (1)
- Goos, G (1)
- Kirchner, C (1)
- Tison, S (1)
- Middeldorp, A (1)
- Nieuwenhuis, R (1)
-
Mais opções
Data de Publicação
- Antes de1993 (3)
- 1993Até1996 (4)
- 1997Até1999 (3)
- 2000Até2003 (9)
- Após 2003 (13)
-
Mais opções
Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 