Related courses
Revisión del 21:20 15 abr 2008 de WikiSysop (discusión | contribuciones) (New page: * PhD studies: Logic, computation and artificial intelligence o Automated Reasoning o Synthesis, verification and reasoning on agents o Automatic learnin...)
* PhD studies: Logic, computation and artificial intelligence o Automated Reasoning o Synthesis, verification and reasoning on agents o Automatic learning o Logic programming o Formal methods in Computation and Artificial intelligence
* Expert course: Computer Science and Knowledge Technologies
* Computer Science studies: o Automated Reasoning o Intelligent Agents o Artificial Intelligence Seminar o Artificial Intelligence I o Artificial Intelligence II o Logic and Programming o Declarative Programming o Logic for Computer Science