Poster un commentaire à la suite de l’article...

lundi 7 décembre 2009
par  Alain BUSSER

Les ordinateurs sont-ils logiques ? 1 : Logique propositionnelle

Narrations d’exploration logique de la fonction « CanProve » de Yacas

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.