A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Richard A. SHORE |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Recursion theory / Anil NERODE (Cop. 1985)
Titre : Recursion theory Type de document : texte imprimé Auteurs : Anil NERODE, Editeur scientifique ; Richard A. SHORE, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1985 Collection : Proceedings of symposia in pure mathematics, ISSN 0082-0717 num. 42 Importance : VII-528 p. ISBN/ISSN/EAN : 978-0-8218-1447-5 Note générale : Proceedings of the AMS-ASL Summer Institute on Recursion theory held at Cornell University Ithaca, New York June 28-July 16, 1982 Langues : Anglais Mots-clés : théorie de récursion logique Note de contenu : références Recursion theory [texte imprimé] / Anil NERODE, Editeur scientifique ; Richard A. SHORE, Editeur scientifique . - Providence, R. I. (Etats Unis) : American Mathematical Society, Cop. 1985 . - VII-528 p.. - (Proceedings of symposia in pure mathematics, ISSN 0082-0717; 42) .
ISBN : 978-0-8218-1447-5
Proceedings of the AMS-ASL Summer Institute on Recursion theory held at Cornell University Ithaca, New York June 28-July 16, 1982
Langues : Anglais
Mots-clés : théorie de récursion logique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13670 1791/42 Livre Recherche Salle Disponible