001024514
100  $a                         y50      
101  $afre
2001 $aImplementation d'un assistant de preuve basé sur EX- calcul$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 
700  $aHAMIMED, lyazid
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac