1 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:
Base de dados/Biblioteca:
SpringerLink (Online service)
tipo de recurso:
Book Chapters
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic ProofsDavis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, AndreiJournal of automated reasoning, 2015, Vol.9450 (4), p.203-218 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Base de Dados/Biblioteca
- Springer Nature - Springer Journals All 2022 (1)
- SpringerLink (1)
- Springer Books (1)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
- Lecture Notes in Computer Science Archive (through to 1996) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 