- importsource = "00045411-1999-03.TXT"
Se encontraron 4 resultados.
- Artículo:
Some Contributions to the Metatheory of the Situation Calculus
- Autor:
F. Pirri
R. Reiter
- Página:
325
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
46
- Número:
3
- Periodo:
Mayo 1999
- ISSN:
00045411
- SrcID:
00045411-1999-03.TXT
- Documento número 1670702
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Undirected Single Source Shortest Paths with Positive Integer Weights in Linear Time
- Autor:
M. Thorup
- Página:
362
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
46
- Número:
3
- Periodo:
Mayo 1999
- ISSN:
00045411
- SrcID:
00045411-1999-03.TXT
- Documento número 1670703
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
A Fast Bit-Vector Algorithm for Approximate String Matching Based on Dynamic Programming
- Autor:
G. Myers
- Página:
395
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
46
- Número:
3
- Periodo:
Mayo 1999
- ISSN:
00045411
- SrcID:
00045411-1999-03.TXT
- Documento número 1670704
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Generation of Universal Series-Parallel Boolean Functions
- Autor:
F.
. Young
C.C.N. Chu
D.F. Wong
- Página:
416
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
46
- Número:
3
- Periodo:
Mayo 1999
- ISSN:
00045411
- SrcID:
00045411-1999-03.TXT
- Documento número 1670705
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- 1-4
