- pub = ("Journal of the Association for Computing Machinery")
- Artículo:
A Single-Exponential Upper Bound for Finding Shortest Paths in Three Dimensions
- Autor:
J. H. Reif
J. A. Storer
- Página:
1013
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
41
- Número:
5
- Periodo:
Septiembre 1994
- ISSN:
00045411
- SrcID:
00045411-1994-05.txt
- Documento número 1670589
- 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:
Scope and Charter
- Página:
1
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
1
- Periodo:
Enero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-01.TXT
- Documento número 1670590
- 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:
The Complexity of Logic-Based Abduction
- Autor:
Thomas Eiter
Geora Gottlob
- Página:
3
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
1
- Periodo:
Enero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-01.TXT
- Documento número 1670591
- 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:
Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra
- Autor:
Bernhard Nebel
Hans-Jurgen Burckert
- Página:
43
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
1
- Periodo:
Enero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-01.TXT
- Documento número 1670592
- 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:
Networks for Multiprocessors
- Autor:
A. A. Chien
J. H. Kim PÁG 65
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
1
- Periodo:
Enero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-01.TXT
- Documento número 1670593
- 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
