Diferencia entre revisiones de «Related courses»

Revisión del 21:26 15 abr 2008

@@ Línea 1: / Línea 1: @@
-* PhD studies:  Logic, computation and artificial intelligence
+* PhD studies:  [http://www.cs.us.es/docencia/doctorado/ Logic, computation and artificial intelligence]
 ** Automated Reasoning
 ** Synthesis, verification and reasoning on agents
@@ Línea 5: / Línea 5: @@
 ** Logic programming
 ** Formal methods in Computation and Artificial intelligence
-* Expert course: Computer Science and Knowledge Technologies
 * Computer Science studies:
-** Automated Reasoning
+** [http://www.cs.us.es/cursos/ia1/ Artificial Intelligence I]
-** Intelligent Agents
+** [http://www.cs.us.es/cursos/ia2/ Artificial Intelligence II]
-** Artificial Intelligence Seminar
+** [http://www.cs.us.es/cursos/sia/ Artificial Intelligence Seminar]
-** Artificial Intelligence I
+** [http://www.cs.us.es/cursos/ra/ Automated Reasoning]
-** Artificial Intelligence II
+** [http://www.cs.us.es/cursos/pd/ Declarative Programming]
-** Logic and Programming
+** [http://www.cs.us.es/cursos/agi/ Intelligent Agents]
-** Declarative Programming
+** [http://www.cs.us.es/cursos/lp/ Logic and Programming]
-** Logic for Computer Science
+** [http://www.cs.us.es/cursos/li/ Logic for Computer Science]