1. 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