Computational Logic - KnowDive @ UNITN

Materials Modeling Propositional Logic First Order Logic Description Logic
CL-2022 Edition Instructors Calendar Instructions Syllabus Exam
Everything else News Q&A Collaborations (150h) Editions External Resources Built with Contacts

Contacts

You can reach us here:

Fausto Giunchiglia:

Adolfo Villafiorita: