La version finale de mon manuscrit de thèse de doctorat: "Utilisation des schématisations de termes en déduction automatique". Télécharger
Liste des publications
Sur DBLP