Le raisonnement qualitatif (QSTR) et leur encodage en SAT
Le jeudi 16 avril à 14h00 en salle 201, Julien Hué (Post-doctorant au Centre de Recherche en Informatique de Lens) fera un séminaire de laboratoire.