Diferencia entre revisiones de «Related courses»
| Línea 15: | Línea 15: | ||
** [http://www.cs.us.es/cursos/lp/ Logic and Programming] | ** [http://www.cs.us.es/cursos/lp/ Logic and Programming] | ||
** [http://www.cs.us.es/~jalonso/cursos/li/ Logic for Computer Science] | ** [http://www.cs.us.es/~jalonso/cursos/li/ Logic for Computer Science] | ||
| + | ** [http://www.cs.us.es/moodle/course/view.php?id=23 Proyectos Informáticos] | ||
Revisión del 13:57 17 nov 2008
- PhD studies: Logic, computation and artificial intelligence
- Automated Reasoning
- Synthesis, verification and reasoning on agents
- Automatic learning
- Logic programming
- Formal methods in Computation and Artificial intelligence
