Diferencia entre revisiones de «Related courses»

Revisión actual del 14:22 20 nov 2008

@@ Línea 1: / Línea 1: @@
-* PhD studies:  [http://www.cs.us.es/docencia/doctorado/ Logic, computation and artificial intelligence]
+* PhD studies:  [http://doctorado.cs.us.es/ Logic, computation and artificial intelligence]
-** Automated Reasoning
+** [http://www.cs.us.es/~jalonso/cursos/d-ra Automated Reasoning]
 ** Synthesis, verification and reasoning on agents
-** Automatic learning
+** Machine learning
-** Logic programming
+** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming]
-** Formal methods in Computation and Artificial intelligence
+** Formal methods on Computation and Artificial intelligence
 * Computer Science studies:
@@ Línea 11: / Línea 11: @@
 ** [http://www.cs.us.es/cursos/sia/ Artificial Intelligence Seminar]
 ** [http://www.cs.us.es/cursos/ra/ Automated Reasoning]
-** [http://www.cs.us.es/cursos/pd/ Declarative Programming]
+** [http://www.cs.us.es/~jalonso/cursos/pd Declarative Programming]
 ** [http://www.cs.us.es/cursos/agi/ Intelligent Agents]
 ** [http://www.cs.us.es/cursos/lp/ Logic and Programming]
-** [http://www.cs.us.es/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]