A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Anil NERODE
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesCombinatorial functors (1974) / J. N. CROSSLEY
Titre : Combinatorial functors Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Auteur ; Anil NERODE, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1974 Collection : Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136 num. 81 Importance : 146 p. ISBN/ISSN/EAN : 978-3-540-06428-2 Langues : Anglais (eng) Mots-clés : modèle mathématique catégorie fonction combinatoire Note de contenu : index, notations, bibliogr. Combinatorial functors [texte imprimé] / J. N. CROSSLEY, Auteur ; Anil NERODE, Auteur . - Springer-Verlag, 1974 . - 146 p.. - (Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136; 81) .
ISBN : 978-3-540-06428-2
Langues : Anglais (eng)
Mots-clés : modèle mathématique catégorie fonction combinatoire Note de contenu : index, notations, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3419 CRO/02/4696 Livre Recherche Salle Disponible Logic and computer science (1990) / S. Homer
Titre : Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 Type de document : séminaire Auteurs : S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1990 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1429 Importance : 162 p. ISBN/ISSN/EAN : 978-3-540-52734-3 Langues : Anglais (eng) Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 [séminaire] / S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur . - Springer-Verlag, 1990 . - 162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1429) .
ISBN : 978-3-540-52734-3
Langues : Anglais (eng)
Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 995 LN 1429 Livre Recherche Salle Disponible Recursion theory (Cop. 1985) / Anil NERODE
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 (eng) 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 . - 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 (eng)
Mots-clés : théorie de récursion logique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13670 1791/42 Livre Recherche Salle Disponible