- importsource = "00045411-1995-02.TXT"
Se encontraron 9 resultados.
- Artículo:
NP Trees Carap’s Modal Logic
- Autor:
G. Gottlob
- Página:
421
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670605
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Three Logics for Branching Dissimulation
- Autor:
R. De Nicola
F. Vaandrager
- Página:
458
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670606
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Las Vegas Algorithms for Linear and Integer Programming When the Dimension Is Small
- Autor:
K. L. Clarkson
- Página:
488
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670607
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Nearly Optimal Algorithms and Bounds for Multilayer Channel Routing
- Autor:
B. Berger
M. Brady
D. Brown
T. Leighton
- Página:
500
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670608
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- 1-5
- 6-9
