Diferencia entre revisiones de «Related courses»

Revisión del 21:21 15 abr 2008

@@ Línea 1: / Línea 1: @@
-    * PhD studies:  Logic, computation and artificial intelligence
+* PhD studies:  Logic, computation and artificial intelligence
-          o Automated Reasoning
+** Automated Reasoning
-          o Synthesis, verification and reasoning on agents
+** Synthesis, verification and reasoning on agents
-          o Automatic learning
+** Automatic learning
-          o Logic programming
+** Logic programming
-          o Formal methods in Computation and Artificial intelligence
+** Formal methods in Computation and Artificial intelligence
-    * Expert course: Computer Science and Knowledge Technologies
+* Expert course: Computer Science and Knowledge Technologies
-    * Computer Science studies:
+* Computer Science studies:
-          o Automated Reasoning
+** Automated Reasoning
-          o Intelligent Agents
+** Intelligent Agents
-          o Artificial Intelligence Seminar
+** Artificial Intelligence Seminar
-          o Artificial Intelligence I
+** Artificial Intelligence I
-          o Artificial Intelligence II
+** Artificial Intelligence II
-          o Logic and Programming
+** Logic and Programming
-          o Declarative Programming
+** Declarative Programming
-          o Logic for Computer Science
+** Logic for Computer Science