- isn = "1557735X"
Se encontraron 98 resultados.
- Artículo:
The verifying Compiler: A grand Challenge for Computer Research
- Autor:
Tony Hoare
- Página:
63
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412212
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Getting Computers to Understand
- Autor:
Butler Lampson
- Página:
70
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412213
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Problems and Projections in CS for the Next 49 Years
- Autor:
John McCarthy
- Página:
73
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412214
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Propositional Proof Complexity
- Autor:
Alexander Razborov
- Página:
80
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412215
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
- Artículo:
Three Open Problems in AI
- Autor:
Raj Reddy
- Página:
83
- Publicación:
Journal of the ACM
- Volúmen:
50
- Número:
1
- Periodo:
Enero 2003
- ISSN:
1557735X
- SrcID:
1557735X-2003-01.txt
- Documento número 1412216
- Actualizado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Creado el miércoles, 19 de agosto de 2020 07:49:54 p. m.
- Enlace directo
