A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Johan MOLDESTAD
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesComputations in higher types (1977) / Johan MOLDESTAD
Titre : Computations in higher types Type de document : monographie Auteurs : Johan MOLDESTAD, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 574 ISBN/ISSN/EAN : 978-3-540-08132-6 Note générale : Index Langues : Anglais (eng) Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Computations in higher types [monographie] / Johan MOLDESTAD, Auteur . - Springer-Verlag, 1977. - (Lecture Note in Mathematics, ISSN 0075-8434; 574) .
ISBN : 978-3-540-08132-6
Index
Langues : Anglais (eng)
Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5229 LN 574 Livre Recherche Salle Disponible