3 Resultados 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
Refinado por:
data de publicação:
Antes de1993
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Canonical Equational ProofsBook, Ronald V ; Bachmair, LeoBoston, MA: Birkhäuser Boston 1991Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Confluent String RewritingJantzen, MatthiasBerlin, Heidelberg: Springer Berlin / Heidelberg 1988Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Systems of ReductionsBenninghofen, Benjamin ; Kemmerich, Susanne ; Richter, Michael MBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Réécriture (2)
- Automatic Theorem Proving (2)
- Machine Theory (2)
- Formal Languages And Automata Theory (2)
- Réécriture, Systèmes De (2)
- Mathematical Logic And Formal Languages (2)
- Aalgebra, Universaladata Processingzautomatisch Aus Gbv_2011-10 2012-04-22 (1)
- Algebra, Universal -- Data Processing (1)
- Algebra, Universal Data Processing (1)
- 68 (1)
- Acomputer Algorithmszautomatisch Aus Gbv_2011-10 2012-04-22 (1)
- Abhandlung (1)
- Algebra (1)
- 68q (1)
- Algebra Of Logic (1)
- Ai (1)
- Algebra, Universal (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 