7 Resultados para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Rewriting techniques and applications proceedingsInternational Conference on Rewriting Techniques and Applications (5. 1993 Montreal) Claude KirchnerBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.690 e.1 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Ronald V BookSpringer Berlin Heidelberg 1991Acesso online |
| 3 |
Material Type: Livro
|
|
Rewriting Techniques and ApplicationsInternational Conference on Rewriting Techniques and Applications Claude KirchnerSpringer Berlin Heidelberg 1993Acesso online |
| 4 |
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) |
| 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: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 ProceedingsKirchner, Claude Kirchner, ClaudeBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
| 7 |
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 |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Teoria Da Computação (3)
- Linguagens Formais (3)
- Démonstration Théorème (2)
- Computer Science (2)
- Mathematics (2)
- Congresses (2)
- Programming Languages (2)
- Programming Languages, Compilers, Interpreters (2)
- Electronic Digital Computers -- Programming -- Congresses (2)
- Computer Programming (2)
- Rewriting Systems (2)
- Artificial Intelligence (2)
- Computer Algorithms (2)
- Algebra (2)
- Algebra_xdata Processing (2)
- Mathematical Logic (2)
- Algorithms (2)
- Data Processing (2)
- Electronic Digital Computers (2)
- Programming (2)
- Mathematical Logic And Formal Languages (2)
- Algorithms -- Congresses (2)
-
Mais opções
Autor/Criador
Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 