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

Documents (Mots clés)

• [MathOuvrage] Alan M. Turing / Turing, Sara ; Préf. Davis, Martin ; Préf. Irvine, Lyn ; Postf. Turing, John. -Cambridge : Cambridge university Press, 2012. - xxiv, 169 p. ; 22 cm
  ISBN 9781107020580
  
• [IremCongrès] De la méthode / Dir. Serfati, Michel. -Besançon : Presses universitaires de Franche-Comté, 2011. - 356 p. ; 23 cm
  ISBN 9782848673240
  
• [MathOuvrage] Algorithmic randomness and complexity / Downey, Rodney G. ; Hirschfeldt, Denis R.. -New York NY : Springer, 2010. - xxviii, 855 p. ; 24 cm
  ISBN 9780387955674
  https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=2190-619x/
  
• [IremOuvrage] Les démons de Gödel / Cassou-Noguès, Pierre. -Paris : Editions du Seuil, 2007. - 279 p. ; 22 cm
  ISBN 9782020923392
  
• [IremOuvrage] La logique -Paris : Pole, 2004. - 139 p. ; 24 cm
  ISBN 9782848840185
  
• [IremOuvrage] Mille ans d'histoire des mathématiques / Dir. Lehning, Hervé. -Paris : Pole, 2005. - 146 p. ; 24 cm
  ISBN 9782848840291
  
• [IremOuvrage] Cryptographie & codes secrets / Dir. Lehning, Hervé. -Paris : Pole, 2006. - 150 p. ; 24 cm
  ISBN 9782848840581
  
• [MathOuvrage] Et Dieu créa les nombres / Ed. Hawking, Stephen ; Trad. Randon-Furling, Julien. -Paris : Dunod, 2006. - viii, 1172 p. ; 25 cm
  ISBN 9782100075980
  
• [IremOuvrage] Grands mathématiciens modernes -Paris : Pole, 2006. - 158 p. ; 24 cm
  ISBN 9782848840543
  
• [IremOuvrage] Logique, informatique et paradoxes / Delahaye, Jean-Paul. -Paris : Pour la Science;Belin, 1993. - 158 p. ; 25 cm
  ISBN 9782902918942
  
• [IremOuvrage] La Machine de Turing ... et sa programmation / Leygnac, Marc. -Saint Quentin : IREM de Picardie, 1984. - 19 p. ; 30 cm
  
• [MathOuvrage] Collected works of A. M. Turing / Turing, A. M. ; Ed. Ince, D.. -Amsterdam, London, New York, Tokyo : North-Holland, 1992. - xix, 227 p. ; 24 cm
  
• [MathOuvrage] Collected works of A. M. Turing / Turing, A. M. ; Ed. Britton, J. L.. -Amsterdam, London, New York, Tokyo : North-Holland, 1992. - xxii, 287 p. ; 24 cm