•   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
  •  
eNq1V9ty2jAQfe9XePyO7VwIScck06ZJy0wyoQSmfWOEvQa5QnJWMpd8fWUwicnYk8RYb8CKc7TXs/KvVnNmLQAlFbxrHzmebQEPREj5tGuPhretc/vq0vrix2RBiufajjc+PratgBEpu3ZmdiZAuHT+3t/9AI0AaOs/Wr6YxBCovYOposz5ReTsniSbQ5a/EDS05qBmIuzaSaq2P1u+VKivckllnyDRdkD9nz6KBQ0h9N3cvHc2IkzCnsl3M/gPEl0LrmCl+kTNDPIEanVNFEwFUpDl+PVd6PFb1F48RBENoBxcYVr77qkEvBMBYRXYEdZFnhAJI2TlsDOlkq+uS3V6UCrtmXQoj4R7kBuET5t2Qsf/xkDFkJisBvDUq6jGb9p8rVaq5bWOTk46nbMzr31x0WnXpUN4egRcMNh0QjmnG1KZMLJ2YpnUj1Y/nTAaEKUni8GGy6+a+9R8UwQpInCVN/W6nCAen9SP0x+B/2RCAjAYpUSgIhX9N4/Gp2fnp15t7MIEf8PwIY2oZihE6U1QtIUgkvUeNNNN7zxuTtkWAz5VMy1pL1g5DeUhrLq29/r7a67Hx+0Lr/OWqhiMzbcN9e7uBZvvbh3+fA3o4Wgw++lnR28czKWbR8NdAnI4YGr2N7W3ayCDbkbLUA/SFKQaDXoVk61BzzRdYadoWuu/byXT5Kpi6vIIUqSo51klcqP1NSjQGQyXFs53q6sB3XwWvGL92upp/TiN8r3IuMwY08rlTimrkE8PeB4UF3ezD5H9jcLsQHx/18t6sXa+00k5apmSfq7XfqeA662Yl1PQsHsgi1699DIgltLMtMhiPkT9dGY60xXpdVn23hrPxByKKuzGhFEh3cHDw7BhHTZa2qOXF6TZQWxMd7eWcsyfN8MDGjG7a0/vVhV18KEkF/ZL381WXv3hP29htKY=