Diferencia entre revisiones de «Related courses»
| (No se muestran 3 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
| − | * PhD studies: [http:// | + | * PhD studies: [http://doctorado.cs.us.es/ Logic, computation and artificial intelligence] |
** [http://www.cs.us.es/~jalonso/cursos/d-ra Automated Reasoning] | ** [http://www.cs.us.es/~jalonso/cursos/d-ra Automated Reasoning] | ||
** Synthesis, verification and reasoning on agents | ** Synthesis, verification and reasoning on agents | ||
| − | ** | + | ** Machine learning |
** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming] | ** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming] | ||
| − | ** Formal methods | + | ** Formal methods on Computation and Artificial intelligence |
* Computer Science studies: | * Computer Science studies: | ||
| Línea 15: | Línea 15: | ||
** [http://www.cs.us.es/cursos/lp/ Logic and Programming] | ** [http://www.cs.us.es/cursos/lp/ Logic and Programming] | ||
** [http://www.cs.us.es/~jalonso/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] | ||
Revisión actual del 14:22 20 nov 2008
- PhD studies: Logic, computation and artificial intelligence
- Automated Reasoning
- Synthesis, verification and reasoning on agents
- Machine learning
- Logic programming
- Formal methods on Computation and Artificial intelligence
