7 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Architectural design and production beyond the rule of artMassimo Lauria ; Francesca GiglioTechne (Florence, Italy : 2011), 2011-04, Vol.1 (1) [Periódico revisado por pares]Firenze University PressTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Optimality of size-degree tradeoffs for polynomial calculusGalesi, Nicola ; Lauria, MassimoACM transactions on computational logic, 2010-10, Vol.12 (1), p.1-22 [Periódico revisado por pares]ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
On the Automatizability of Polynomial CalculusGalesi, Nicola ; Lauria, MassimoTheory of computing systems, 2010-08, Vol.47 (2), p.491-506 [Periódico revisado por pares]New York: Springer-VerlagTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover–Delayer gamesBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, MassimoInformation processing letters, 2010-11, Vol.110 (23), p.1074-1077 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Progetto e produzione dell'architettura oltre la regola dell'arte/Architectural design and production beyond the rule of artLauria, Massimo ; Giglio, FrancescaTechne (Florence, Italy : 2011), 2011-01, Vol.1, p.124 [Periódico revisado por pares]Florence: Firenze University PressTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Progetto e produzione dell'architettura oltre la regola dell'arte = Architectural design and production beyond the rule of artLauria, Massimo ; Giglio, FrancescaTechne (Florence, Italy : 2011), 2011, p.124-129 [Periódico revisado por pares]Firenze: Firenze University PressTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Parameterized Bounded-Depth Frege Is not OptimalBeyersdorff, Olaf ; Galesi, Nicola ; Lauria, Massimo ; Razborov, Alexander AACM transactions on computation theory, 2012-09, Vol.4 (3), p.1-16 [Periódico revisado por pares]ACMTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science (4)
- Proof Complexity (4)
- Science & Technology (4)
- Technology (4)
- Computer Science, Theory & Methods (3)
- Mathematics (2)
- Proving (2)
- Lower Bounds (2)
- Algorithms (2)
- Computation (2)
- Resolution (2)
- Polynomial Calculus (2)
- Studies (2)
- Computational Complexity (2)
- Algebraic Proofs (1)
- Algebra (1)
- Architecture (1)
- Applied Sciences (1)
- Algorithmics. Computability. Computer Arithmetics (1)
- Arts & Humanities (1)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (3)
- EZB Electronic Journals Library (3)
- Casalini Torrossa Journals (3)
- DOAJ Directory of Open Access Journals (3)
- ACM Digital Library Complete (2)
- EBSCOhost Computers and Applied Sciences Complete (2)
- Academic Search Premier (1)
- IngentaConnect Journals (1)
- EBSCOhost Business Source Complete (1)
- SpringerLink (1)
- Springer Nature - Springer Journals All 2022 (1)
- Gale Academic OneFile (1)
- Elsevier ScienceDirect Journals (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 