Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Exponential Lower Bound for Static Semi-algebraic ProofsGrigoriev, Dima ; Hirsch, Edward A. ; Pasechnik, Dmitrii V.Automata, Languages and Programming, p.257-268 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |