LaiTeP
Laboratory for Augmented Intelligence Theorem Proving
- Professor: João Araújo
- Professor: Atle Hahn
- Professor: António Malheiro
- Professor: Rui Paiva
LaiTeP
Enrolment options
Laboratory for Augmented Intelligence Theorem Proving
Guests cannot access this course. Please log in.