Action Exploratoire AVoCat Vérification Automatique de Programmes Catala Catala est un nouveau langage de programmation, conçu pour être compréhensible par les juristes et...
© Inria / Photo M. Magnin Intelligence artificielle Reconnaissance vocale et respect de la vie privée : la voix Inria se fait entendre 23/06/2020