- isn = "00045411"
Se encontraron 923 resultados.
- Artículo:
On computing all abductive explanations from a propositional Horn theory
- Autor:
Thomas Eiter
Kazuhisa Makino
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
53
- Número:
5
- Periodo:
Septiembre 2007
- ISSN:
00045411
- SrcID:
00045411-2007-05.txt
- Documento número 791977
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
Lossless abstraction of imperfect information games
- Autor:
Andrew Gilpin
Tuomas Sandholm
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
53
- Número:
5
- Periodo:
Septiembre 2007
- ISSN:
00045411
- SrcID:
00045411-2007-05.txt
- Documento número 791978
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
A bisimulation for type abstraction and recursion
- Autor:
Eijiro Sumii
Benjamin C. Pierce
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
53
- Número:
5
- Periodo:
Septiembre 2007
- ISSN:
00045411
- SrcID:
00045411-2007-05.txt
- Documento número 791979
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
Towards 3-query locally decodable codes of subexponential length.
- Autor:
Sergey Yekhanin:
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
55
- Número:
1
- Periodo:
Enero 2008
- ISSN:
00045411
- SrcID:
00045411-2008-01.txt
- Documento número 791980
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
On the minimization of XPath queries.
- Autor:
Sergio Flesca
Filippo Furfaro
Elio Masciari
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
55
- Número:
1
- Periodo:
Enero 2008
- ISSN:
00045411
- SrcID:
00045411-2008-01.txt
- Documento número 791981
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
