- importsource = "1557735X-2003-01.txt"
Se encontraron 52 resultados.
- Artículo:
Propositional Proof Complexity
- Autor:
Alexander Razborov
- Página:
80
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412215
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Three Open Problems in AI
- Autor:
Raj Reddy
- Página:
83
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412216
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Why Haven’t More Quantum Algorithms Been Found?
- Autor:
Peter W. Shor
- Página:
87
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412217
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Deterministic versus Nondeterministic time and lower bound problems
- Autor:
Richard E. Stearns
- Página:
91
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412218
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Three Problems in Computer Science
- Autor:
Leslie G. Valiant
- Página:
96
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412219
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo