Diferencia entre revisiones de «Related courses»

De WikiGLC
Saltar a: navegación, buscar
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
 
** Automated Reasoning
 
** Synthesis, verification and reasoning on agents
 
** Synthesis, verification and reasoning on agents
Línea 5: Línea 5:
 
** Logic programming
 
** Logic programming
 
** Formal methods in Computation and Artificial intelligence
 
** Formal methods in Computation and Artificial intelligence
 
* Expert course: Computer Science and Knowledge Technologies
 
  
 
* Computer Science studies:
 
* 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]

Revisión del 20:26 15 abr 2008