DUGi

Lambda calculus -- Computer-assisted instruction Robots autònoms Càlcul lambda -- Ensenyament assistit per ordinador Graphical user interfaces (Computer systems) Submersibles Autonomous robots Vehicles submergibles

Gallart Garangou, Oriol Grácias, Nuno Ricardo Estrela Ministerio de Ciencia e Innovación (Espanya) Palomeras Rovira, Narcís Prats, Mario Universitat de Girona. Escola Politècnica Superior Villaret i Ausellé, Mateu