Coordonnées:
Institut National des Postes et Télécommunications,
Bâtiment B,
Avenue Allal Al Fassi, Madinat Al Irfane,
Rabat, Maroc.
Tél:
+212 5 38 00 27 84
Mél:
bensaid (at) inpt (dot) ac (dot) ma
J'ai soutenu ma thèse de doctorat à l'Université de Grenoble sous la direction de Ricardo Caferra et Nicolas Peltier.
Je m'intéresse au raisonnement automatique et plus particulièrement à l'utilisation des schématisations de termes en démonstration automatique de théorèmes (du premier ordre).
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