Prémio Professor do DEI venceu um Amazon Research Award em Automated Reasoning Quinta-feira, 12 de junho de 2025 15:18 Amazon Research Award João Ferreira
