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

Documents (Auteurs)

• [IremOuvrage] Les métamorphoses du calcul / Dowek, Gilles. -Paris : Le Pommier, 2017. - 222 p. ; 20 cm
  ISBN 9782746509108
  
  
• [MathOuvrage] Leçons de mathématiques d'aujourd'hui. Vol. 5 / Ed. Mounoud, Pierre ; Keating, Jonathan P. ; Diaconis, Persi ; Fröhlich, Jürg ; Loeser, François ; Zaidenberg, Mikhail ; Beauville, Arnaud ; Dowek, Gilles ; Bismut, Jean-Michel ; Soulé, Christophe ; Saint-Raymond, Laure ; Kleinerman, Sergiu ; Pansu, Pierre. -Paris : Cassini, 2019. - xv, 365 p. ; 19 cm
  ISBN 9782842251697
  
• [IremOuvrage] Le temps des algorithmes / Abiteboul, Serge ; Dowek, Gilles. -Paris : Le Pommier, 2017. - 191 p. ; 20 cm
  ISBN 9782746511750
  
• [MathOuvrage] Computation, proof, machine / Dowek, Gilles ; Trad. Guillot, Pierre ; Trad. Roman, Marion. -Cambridge : Cambridge university Press, 2015. - viii, 152 p. ; 22 cm
  ISBN 9780521133777
  
• [IremOuvrage] La logique / Dowek, Gilles. -Paris : Le Pommier, 2015. - 96 p. ; 18 cm
  ISBN 9782746508781
  
• [IremOuvrage] Les métamorphoses du calcul / Dowek, Gilles. -Paris : Le Pommier, 2007. - 223 p. ; 20 cm
  ISBN 9782746503243