Related courses

De WikiGLC
Saltar a: navegación, buscar
  • 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
  • Expert course: Computer Science and Knowledge Technologies
  • Computer Science studies:
    • Automated Reasoning
    • Intelligent Agents
    • Artificial Intelligence Seminar
    • Artificial Intelligence I
    • Artificial Intelligence II
    • Logic and Programming
    • Declarative Programming
    • Logic for Computer Science
Obtenido de «https://www.glc.us.es/web/index.php?title=Related_courses&oldid=28»