Haga clic en 40_MTDecidabiliteDef_Cours.ppt para ver el archivo.