Natal reúne 150 pesquisadores de vários países

A 27ª Conferência Internacional sobre Dedução Automática será realizada em Natal de 23 a 30 deste mês, reunindo pesquisadores de várias partes do mundo - inclusive Estados Unidos, França, Alemanha e Holanda. CLIQUE AQUI e leia reportagem completa no jornal digital "Por dentro do RN"