2 Resultados para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Base de dados/Biblioteca:
Springer Nature - Complete Springer Journals
Dowek, Gilles
nível superior:
Revistas revisadas por pares
Dowek, Gilles
nível superior:
Revistas revisadas por pares
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
PrefaceArmando, Alessandro ; Baumgartner, Peter ; Dowek, GillesJournal of automated reasoning, 2010, Vol.45 (2), p.89-89 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Theorem Proving ModuloDowek Gilles ; Hardin, Thérèse ; Kirchner, ClaudeJournal of automated reasoning, 2003-09, Vol.31 (1), p.33-72 [Periódico revisado por pares]Dordrecht: Springer Nature B.VTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Higher-Order Logic (1)
- Proving (1)
- Mathematical Analysis (1)
- Deduction (1)
- Computer Science, Artificial Intelligence (1)
- Automated Theorem Proving (1)
- Artificial Intelligence (1)
- Narrowing (1)
- Calculus (1)
- Axioms (1)
- Resolution (1)
- Computation (1)
- Deduction Modulo (1)
- Congruences (1)
- Logic (1)
- Cut Elimination (1)
- Mathematical Logic And Formal Languages (1)
- Rewriting (1)
- Mathematical Logic And Foundations (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 