Evra
-
8 nov. 2013 à 12:39
cs_Julien39
Messages postés6414Date d'inscriptionmardi 8 mars 2005StatutModérateurDernière intervention29 juillet 2020
-
8 nov. 2013 à 13:55
Bonjour, je suis étudiant en troisième année d'informatique à l'université de yaoundé1.Je viens par le présente occasion solliciter un coup demain pour réalisation de mon devoir.Il s'agit de coder la démonstration par déduction naturelle et par résolution définie en logique.Merci d'avance!