Diferencia entre revisiones de «Lecturas»
| Línea 1: | Línea 1: | ||
En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo. | En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo. | ||
| − | # K.R. Apt y M.G. Wallace | + | # K.R. Apt y M.G. Wallace ''[[Constraint Logic Programming using Eclipse]]''. |
| − | # J. Harrison | + | # M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. |
| − | # C.E. Veni Madhavan | + | ''[[Solving challenging grid puzzles with answer set programming]]''. |
| + | # J. Harrison ''[[A short survey of automated reasoning]]'' | ||
| + | # C.E. Veni Madhavan ''[[Mathematics and computer science: The interplay]]''. | ||
[[Category:Lecturas]] | [[Category:Lecturas]] | ||
Revisión del 08:55 28 oct 2008
En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo.
- K.R. Apt y M.G. Wallace Constraint Logic Programming using Eclipse.
- M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem.
Solving challenging grid puzzles with answer set programming.
- J. Harrison A short survey of automated reasoning
- C.E. Veni Madhavan Mathematics and computer science: The interplay.
