Line Faculty/ies Beginning End Resolució de problemes de restriccions UDG // Deducció Automàtica en Lògica d'Ordre Superior IIIA i UDG //