Logic for software engineering and AI

  • ECTS

    4 credits

  • Component

    Faculty of Science