INF5170 – Master seminar in logic
Course content
The master seminar in logic treats topics in logic, knowledge representation and automatic reasoning. The themes will vary from semester to semester depending on th
The master seminar in logic treats topics in logic, knowledge representation and automatic reasoning. The themes will vary from semester to semester depending on th