Diferencia entre revisiones de «Related courses»
(New page: * PhD studies: Logic, computation and artificial intelligence o Automated Reasoning o Synthesis, verification and reasoning on agents o Automatic learnin...) |
(Sin diferencias)
|
Revisión del 21:20 15 abr 2008
* 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