001025300
100  $a                         y50      
101  $afre
2001 $aElimination des coupures et consistance dans les logiques d'ordre supérieur et le systéme E1$bressource électronique
210  $aUniversité de Boumerdès - M'hamed Bougara  : Département d'Informatique$cUniversité de Boumerdès - M'hamed Bougara 
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Boumerdès - M'hamed Bougara 
330  $aLa consistance de systéme de logique d'orde supérieur est l'une des propriété principale qu'on s'atache à démonter la démonstratition d'une telle propriéte à toujours poser quelque dificulté , la méthode qui consiste à utiliser l'élimination des couures des régles dinference contitue une approche qui permet de sumenter d'ellimination des coupes dans les systémes d'orde supérieur et les caractériser particulierement dans le E1 calcul 
610  $acut émination , higher ordes logic, counsistence de calcul E1 calcules 
700  $aBADJA, mounir
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac