A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Nerode, Anil
Documents disponibles écrits par cet auteur
Affiner la rechercheAutomata theory and its applications / Khoussainov, Bakhadyr
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13797 68C72 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Combinatorial functors Type de document : texte imprimé Auteurs : Crossley, J. N. ; Nerode, Anil Editeur : Springer-Verlag Année de publication : 1974 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 81 Importance : viii - 146 p. ISBN/ISSN/EAN : 978-3-540-06428-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D50 Recursive equivalence types of sets and structures, isols
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : category of sets recursive equivalence types mathematical logic Index. décimale : 03C Monographie Combinatorial functors [texte imprimé] / Crossley, J. N. ; Nerode, Anil . - [S.l.] : Springer-Verlag, 1974 . - viii - 146 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 81) .
ISBN : 978-3-540-06428-2
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D50 Recursive equivalence types of sets and structures, isols
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : category of sets recursive equivalence types mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 277 03C84 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Recursion theory Titre original : proceedings of the AMS-ASL Summer Institute on Recursion Theory Type de document : texte imprimé Auteurs : Richard A. Shore, Editeur scientifique ; Nerode, Anil, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1985 Collection : Proceedings of Symposia in Pure Mathematics num. 42 Importance : vii - 528 p. ISBN/ISSN/EAN : 978-0-8218-1447-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : ithaca, ny (usa) symposium proceedings recursion theory Index. décimale : 03C Monographie Recursion theory = proceedings of the AMS-ASL Summer Institute on Recursion Theory [texte imprimé] / Richard A. Shore, Editeur scientifique ; Nerode, Anil, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1985 . - vii - 528 p.. - (Proceedings of Symposia in Pure Mathematics; 42) .
ISBN : 978-0-8218-1447-5
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : ithaca, ny (usa) symposium proceedings recursion theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15844 03C155 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
