001076885
100  $a                         y50      
101  $afre
2001 $aLes Algorithmes d'Abstraction dans la logique combinatoire$bressource électronique
210  $aEcole Nationale Supérieure d'informatique : Département de Post-Graduation$cEcole Nationale Supérieure d'informatique
328 1$bDoctorat$cInformatique Fondamentale$eDépartement de Post-Graduation , Ecole Nationale Supérieure d'informatique
330  $aIl s'agit de trouver un algorithme d'abstraction plus efficace que ceux qui se trouvent déjà dans la littérature après avoir fait la comparaison entre leurs efficacité et les logiques qui les sous-tendent.     
610  $alogique combinatoire ,algorithmes d'abstraction
700  $aBENAZIEZ , Idris
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac