-
Clases - Lógica de primer orden II 19 Jul 200719/07/07 a las 12:37 hrs.2007-07-19 12:37:19
Pablo Barcelo B.
-
Clases - Lógica de primer orden I 19 Jul 200719/07/07 a las 12:37 hrs.2007-07-19 12:37:19
Pablo Barcelo B.
-
Clases - Teorema de Cook 19 Jul 200719/07/07 a las 12:36 hrs.2007-07-19 12:36:19
Pablo Barcelo B.
-
Clases - Repaso de complejidad computacional 19 Jul 200719/07/07 a las 12:36 hrs.2007-07-19 12:36:19
Pablo Barcelo B.
-
Clases - Resolución proposicional 19 Jul 200719/07/07 a las 12:27 hrs.2007-07-19 12:27:19
Pablo Barcelo B.
-
Clases - Lógica proposicional 19 Jul 200719/07/07 a las 12:24 hrs.2007-07-19 12:24:19
Pablo Barcelo B.