search

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods
32 stars 4 forks source link

Overview of Logic and Computation #6

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: COMP4630 University hosting the course: Australian National University Contact person: Rajeev Gore, Rajeev.Gore@anu.edu.au Concepts taught: logics, automated reasoning Tools used: Webpage: https://programsandcourses.anu.edu.au/course/comp4630