Leçon 919 : Unification : algorithmes et applications.

(2015) 919
(2017) 919

Dernier rapport du Jury :

Pas de rapport concernant cette leçon.

Développements :

Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Term rewriting and All That, Franz Baader (utilisée dans 5 versions au total)
Introduction à la logique, René David, Karim Nour, Christophe Raffalli (DNR) (utilisée dans 16 versions au total)
Introduction à l'algorithmique, Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest (utilisée dans 49 versions au total)
Fondements mathématiques de l'informatique , Stern (utilisée dans 3 versions au total)