Le document attaché utilisé pour mon cours de l’année 2012 est un document protégé. Pour le consulter merci de m’écrire pour me demander le mot de passe.
Logique intuitionniste - Méthodes de décision
vendredi 10 février 2012
par
popularité : 7%
par
popularité : 7%
On donne dans le document attaché une méthode de décision pour la logique intuitionniste.
Documents joints
- Cours L3 - 2012 - Document protégé.
Commentaires