Étude de l'algorithme d'unification de Robinson Par Lucas Tabary-Maujean Contenu Développement [PDF] Robinson on peut dire plein de trucs Plans avec ce développement Plan pour [No. 1] Exemples de méthodes et outils pour la correction des programmes (par Lucas Tabary-Maujean)