Telecharger Cours

Gestion active de la troisième période de l'accouchement (GATPA)

Un outil fort intéressant appelé GAPPA (Génération Automatique de Preuves de Propriétés. Arithmétiques) est développé au Laboratoire de l'Informatique du ...



Download