1. importsource = "00045411-2007-02.txt"
Se encontraron 24 resultados.
Artículo:

The rational numbers as an abstract data type

Autor:

J. A. Bergstra

J. V. Tucker

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145548
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

The measurement calculus

Autor:

Vincent Danos

Elham Kashefi

Prakash Panangaden

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145549
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

Fast computation of low-rank matrix approximations

Autor:

Dimitris Achlioptas

Frank Mcsherry

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145550
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

On the maximum satisfiability of random formulas

Autor:

Dimitris Achlioptas

Assaf Naor

Yuval Peres

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145551
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo