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

Documents (Auteurs)

• [Ouvrage] Les démonstrations mathématiques : - cours complet avec 127 exercices résolus / Principal David, René ; Co-auteur Hyvernat, Pierre ; Co-auteur Nour, Karim ; Co-auteur Rafalli, Christophe ; Préfacier Dowek, Gilles. -Paris : Ellipses, 2017. - 360 p.
  ISBN 978-2-340-01666-8
  
• [Ouvrage] Lambda calculus with types / Principal Barendregt, Henk ; Co-auteur Dekkers, Wil ; Co-auteur Statman, Richard ; Contributeur Alessi, Fabio ; Contributeur Bezem, Marc ; Contributeur Cardone, Felice ; Contributeur Coppo, Mario ; Contributeur Dezani-Ciancaglini, Mariangiola ; Contributeur Dowek, Gilles ; Contributeur Ghilezan, Silvia ; Contributeur Honsell, Furio ; Contributeur Moortgat, Michael ; Contributeur Severi, Paula ; Contributeur Urzyczyn, Pawel. -Cambridge, New York : Cambridge University Press;Association for Symbolic Logic, 2013. - xxii; 833 p.
  ISBN 978-0-521-76614-2
  
• [Ouvrage] Jeux mathématiques et vice versa / Secondaire Dowek, Gilles ; Secondaire Bourguignon, Jean-Pierre ; Secondaire Novelli, Jean-Christophe ; Secondaire Rittaud, Benoît. -Paris : Le Pommier, 2005. - 181 p.
  ISBN 978-2-7465-0243-7
  
• [Ouvrage] Peut-on croire les sondages ? / Principal Dowek, Gilles. -Paris : Le Pommier, 2002. - 61 p.
  ISBN 978-2-7465-0025-9