3 résultat(s) recherche sur le mot-clé 'recursion'

Recursion on the countable functionals / Normann, D.

Public ISBD Titre : Recursion on the countable functionals Type de document : texte imprimé Auteurs : Normann, D. Editeur : Springer-Verlag Année de publication : 1980 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 811 Importance : viii-190 p. ISBN/ISSN/EAN : 978-0-387-10019-7 Langues : Anglais Mots-clés : recursion Index. décimale : LNM Recursion on the countable functionals [texte imprimé] / Normann, D. . - [S.l.] : Springer-Verlag, 1980 . - viii-190 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 811) . ISBN : 978-0-387-10019-7 Langues : Anglais Mots-clés : recursion Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7564	LNM/811	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Combinatorial theory / Martin Aigner

Public ISBD Titre : Combinatorial theory Type de document : texte imprimé Auteurs : Martin Aigner Editeur : Springer-Verlag Année de publication : 1997 Collection : Classics in Mathematics Importance : viii - 483 p. ISBN/ISSN/EAN : 978-3-540-61787-7 Langues : Anglais Catégories : 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : matroid  incidence functions  valuations  counting coefficients  inversion  recursion  sequences  counting functions  geometric lattices  lattices  posets Index. décimale : 05C Monographie Combinatorial theory [texte imprimé] / Martin Aigner . - [S.l.] : Springer-Verlag, 1997 . - viii - 483 p.. - (Classics in Mathematics) . ISBN : 978-3-540-61787-7 Langues : Anglais Catégories : 05-XX Combinatorics :05-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : matroid  incidence functions  valuations  counting coefficients  inversion  recursion  sequences  counting functions  geometric lattices  lattices  posets Index. décimale : 05C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
8180	05C16	imprimé / autre	CRDM	05/ANALYSE COMBINATOIRE	Disponible

Computations in higher types / Moldestad, J.

Public ISBD Titre : Computations in higher types Type de document : texte imprimé Auteurs : Moldestad, J. Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 574 Importance : 203 ISBN/ISSN/EAN : 978-0-387-08132-8 Langues : Anglais Mots-clés : recursion Index. décimale : LNM Computations in higher types [texte imprimé] / Moldestad, J. . - [S.l.] : Springer-Verlag, [s.d.] . - 203. - (Lecture Notes in Mathematics, ISSN 0075-8434; 574) . ISBN : 978-0-387-08132-8 Langues : Anglais Mots-clés : recursion Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7612	LNM/574	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible