6 juil 2007 · classique Khelifa SABER Laboratoire de K Nour K Saber [2005] : Preuve sémantique (Candidats de réductibilité) M Tatsuka [2007]
slide these
Khelifa Saber Equipe de Logique, Université and A is a formula K Nour, K Saber / Electronic Notes in Theoretical Computer Science 140 (2005) 31–39 32
pdf?md =f a fce b db cfdc a dc&pid= s . S main
Karim Nour∗, Khelifa Saber LAMA - Équipe LIMD K Nour, K Saber / Annals of Pure and Applied Logic 161 (2009) 109–118 The question that we now can
pdf?md = a b ece a cd fe b b a c &pid= s . S main
M Khelifa (Ahmed Zaki), né le 29 septembre 1974 M Khelil M Thamlaoui ( Saber), né le 22 janvier 1981 M Khalifa (Mohamed Ali), né le 28 février 1981
Liste A