Documents (Codes MSC)

• [Multi angle] Maths and AI / Auteur de la conférence Lelarge, Marc. -Marseille :
  
• [Multi angle] Coq/Rocq tutorial: Ssreflect tactics and the MathComp library / Auteur de la conférence Kerjean, Marie. -Marseille :
  
• [Multi angle] La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique / Auteur de la conférence Dowek, Gilles. -Marseille :
  
• [Post-edited] Une deuxième révolution galiléenne ? / Auteur de la conférence Dowek, Gilles.
  

Documents liés : [21 document(s)]