•   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, enseignant à l'École Polytechnique.

Voir le(s) document(s) :

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

 
 
 
 
  • fr Français
  •  
eNq1V11v2jAUfd+viPLeJKWwwRRabV27IbUqo6DtDZnkBpwZO712+OivnwNpG6pEbUP8Blxzju/nufYvNktmrQAlFbxvnzqebQEPREj5vG9PxtcnXfvi3Prkx2RFiuc6jjdttWwrYETKvp2ZnRkQLp2/tzc/QCMA2vqPli9mMQTq4GCqKHN+Ebm4JcnukOWvBA2tJaiFCPt2kqr9z5YvFeqrnFM5JEi0HVD/Z4hiRUMIfTc3H5yNCJNwYPLdDP6dRJeCK9ioIVELgzyB2lwSBXOBFGQ5fn0XBvwatRd3UUQDKAdXmNa+eyoBb0RAWAV2hHWRZ0TCBFk57EKp5KvrUp0elEp7Jh3KI+Ee5Qbh86ad0PG/MlAxJCabETwMKqrxmzZfqo068U5Oz1rds47X67S7Xq8uHcLDPeCKwa4TyjndkMqEka0Ty6R+tIbpjNGAKD1ZDDZcftXcp+abIkgRgau8qbflBPH0rH6c/gj8JxMSgMEoJQIVqei/ZTRtf+62vdrYhQn+iuFdGlHNUIjSq6BoC0Ek2wNoppveud+dsi0GfK4WWtKesXIaykPY9G3v5feXXE9bnZ735TVVMRi7bzvqp7sXbL67d/jjNaCHo8Hspx8dvXGwlG4eDXcNyOGIqTnc1d5TAxl0M1qHepCmINVkNKiYbA16pukKO0XTWv99L5kmVxVTl0eQIkU9zyqRG62vUYHOYLi0cL5ZXQ3o5qPgFevXXk/rx2mS70XGZcaYVq6flLIKuX3E86C4uJt9iBxuFGYH4tu7XtaLtfOdzspRy5T0Y732OwXc7sW8nIKG/SNZ9OqllwGxlmamRRbzMeqnM9OZrkivy7L31nQhllBUYTcmjArpju7uxg3rsNHSnjy/IM0OYmO6u7eUY/68Gh/RiNldB3q3qqiDdyW5sF/6brby6g//AdS4tJs=