•  
  •   Bienvenue
  •   De la recherche
  •   Découvrir
  •   Approfondir
  •   Itinéraires
  •   C'était hier
  •   Débattre
  •   Ludique
  •   Lire et voir
 
)i( Auteur
 

Benjamin Werner  

Chercheur INRIA dans l'équipe LOGICAL document externe au site, enseignant à l'École Polytechnique.

Voir le(s) document(s) :

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