Related courses
Revisión del 21:26 15 abr 2008 de WikiSysop (discusión | contribuciones)
- PhD studies: Logic, computation and artificial intelligence
- Automated Reasoning
- Synthesis, verification and reasoning on agents
- Automatic learning
- Logic programming
- Formal methods in Computation and Artificial intelligence