cr05-deduction

Notes du cours de Déduction Automatique et Algorithmes Distribués de Sébastien Tixeuil et Xavier Urbain.

Page du cours : https://perso.liris.cnrs.fr/xavier.urbain/ens/m2ensl.html