• fr Français
  •  
  •   Bienvenue
  •   De la recherche
  •   Découvrir
  •   Approfondir
  •   Itinéraires
  •   C'était hier
  •   Débattre
  •   Ludique
  •   Lire et voir
 
L'informatique, une science à portée de clic
 

Benjamin Werner  

Chercheur INRIA, responsable de l'équipe TYPICAL document externe au site, enseignant à l'École Polytechnique.

Voir le(s) document(s) :

  • La vérité et la machine
  • Preuves formelles, preuves calculatoires