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

Documents (Mots clés)

• [MathOuvrage] Equivalents of the Riemann hypothesis. Vol. three / Broughan, Kevin A.. -Cambridge : Cambridge university Press, 2024. - xx, 684 p. ; 24 cm
  ISBN 9781009384803
  
• [MathOuvrage] Calculabilité, complexité et approximation / Rey, Jean-François. -Paris : Vuibert, 2004. - xviii, 368 p. ; 24 cm
  ISBN 9782711748082
  
• [MathCongrès] Hilbert's tenth problem : relations with arithmetic and algebraic geometry / Ed. Denef, Jan ; Ed. Lipshitz, Leonard ; Ed. Pheidas, Thanases ; Ed. Van Geel, Jan. -Providence RI : American mathematical Society, 2001. - xii, 367 p. ; 26 cm
  
• [MathCongrès] Computability theory and its applications, current trends and open problems / Ed. Cholak, Peter ; Ed. Lempp, Steffen ; Ed. Lerman, Manuel ; Ed. Shore, Richard A. ; American mathematical Society ; Institute for mathematical sciences ; Society for industrial and applied mathematics. -Providence RI : American mathematical Society, 2000. - xvi, 320 p. ; 26 cm
  
• [MathCongrès] Cellular automata and complex systems / Ed. Goles, Eric ; Ed. Martinez, Servet. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 1999. - viii, 180 p. ; 25 cm
  https://link.springer.com/bookseries/6356
  
• [MathCongrès] Groups, languages and geometry / Ed. Gilman, Robert H.. -Providence RI : American mathematical Society, 1999. - ix, 136 p. ; 26 cm
  
• [MathOuvrage] Computational complexity / Papadimitriou, Christos H.. -Menlo Park CA, New York NY, Reading MA : Addison-Wesley, 1994. - xv, 523 p. ; 24 cm
  
• [MathOuvrage] Decision problems for equational theories of relation algebras / Andréka, Hajnal ; Givant, Steven ; Németi, Istvan. -Providence RI : American mathematical Society, 1997. - xiv, 126 p. ; 26 cm
  ISBN 9780821805954
  
• [MathOuvrage] Les Séries rationnelles et leurs langages / Berstel, Jean ; Reutenauer, Christophe. -Barcelonne, New York NY, Paris : Masson, 1984. - 132 p. ; 24 cm
  ISBN 9782225801372
  
• [MathOuvrage] Complexité et décidabilité / Dehornoy, Patrick. -Paris : Springer, 1993. - 200 p. ; 24 cm
  
• [MathOuvrage] Calculabilité et décidabilité / Autebert, Jean-Michel. -Barcelone, Bonn, Milan, Paris : Masson, 1992. - 118 p. ; 24 cm
  ISBN 9782225826320
  
• [MathOuvrage] Gödel's incompletness theorems / Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press, 1992. - xiii, 139 p. ; 24 cm
  
• [MathThèse] Accessibilité et morphisme itérés / Pansiot, Jean-Jacques ; Dir. Foata, Dominique. -Strasbourg : Université Louis Pasteur;Institut de recherche mathématique avancée, 1983. - 165 p. ; 30 cm
  
• [MathOuvrage] Decidability and boolean representations / Burris, Stanley ; Mackenzie, Ralph. -Providence RI : American mathematical Society, 1981. - viii, 106 p.