Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit / H. Hermes

Public ISBD Titre : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen Type de document : texte imprimé Auteurs : H. Hermes Editeur : Springer-Verlag Année de publication : 1961 Collection : Die Grundlehren der Mathematischen Wissenschaften num. 109 Importance : ix - 245 p. Langues : Allemand Mots-clés : recursive functions  mathematical logic Index. décimale : 03C Monographie Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, 1961 . - ix - 245 p.. - (Die Grundlehren der Mathematischen Wissenschaften; 109) . Langues : Allemand Mots-clés : recursive functions  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3810	03C30	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Differential geometry and control / H. Hermes ; R. B. Gardner ; Ferreyra, G.

Public ISBD Titre : Differential geometry and control : summer reseach institute on differential geometry and control June 29-July 19, 1997 University of Colorado, Boulder Titre original : proceedings of the Summer Research Institute, Boulder, CO, USA, June 29-July 19, 1997 Type de document : texte imprimé Auteurs : H. Hermes ; R. B. Gardner ; Ferreyra, G. ; Hector J. Sussmann, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1999 Collection : Proceedings of Symposia in Pure Mathematics num. 64 Importance : viii - 341 p. ISBN/ISSN/EAN : 978-0-8218-0887-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 53-XX Differential geometry :53-06 Proceedings, conferences, collections, etc. 93-XX Systems theory; control :93-06 Proceedings, conferences, collections, etc. Mots-clés : proceedings  boulder, co (usa)  summer research institute  control  differential geometry Index. décimale : 53B Publication collective Differential geometry and control = proceedings of the Summer Research Institute, Boulder, CO, USA, June 29-July 19, 1997 : summer reseach institute on differential geometry and control June 29-July 19, 1997 University of Colorado, Boulder [texte imprimé] / H. Hermes ; R. B. Gardner ; Ferreyra, G. ; Hector J. Sussmann, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1999 . - viii - 341 p.. - (Proceedings of Symposia in Pure Mathematics; 64) . ISBN : 978-0-8218-0887-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 53-XX Differential geometry :53-06 Proceedings, conferences, collections, etc. 93-XX Systems theory; control :93-06 Proceedings, conferences, collections, etc. Mots-clés : proceedings  boulder, co (usa)  summer research institute  control  differential geometry Index. décimale : 53B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15081	53B52	imprimé / autre	CRDM	53/GEOMETRIE DIFFERENTIELLE	Disponible

Eine termlogik mit auswahloperator / H. Hermes

Public ISBD Titre : Eine termlogik mit auswahloperator Type de document : texte imprimé Auteurs : H. Hermes Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 6 Importance : 42 Langues : Allemand Mots-clés : logique mathematique Index. décimale : LNM Eine termlogik mit auswahloperator [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, [s.d.] . - 42. - (Lecture Notes in Mathematics, ISSN 0075-8434; 6) . Langues : Allemand Mots-clés : logique mathematique Index. décimale : LNM

Exemplaires

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

Einführung in die mathematische logik / H. Hermes

Public ISBD Titre : Einführung in die mathematische logik : klassische prädikatenlogik Type de document : texte imprimé Auteurs : H. Hermes Editeur : Leipzig : B.G. Teubner Année de publication : 1963 Collection : Mathematische Leitfäden Importance : 187 p. Langues : Allemand Mots-clés : mathematical logic Index. décimale : 03C Monographie Einführung in die mathematische logik : klassische prädikatenlogik [texte imprimé] / H. Hermes . - Leipzig : B.G. Teubner, 1963 . - 187 p.. - (Mathematische Leitfäden) . Langues : Allemand Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9199	03C35	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Einfuhrung in die verbandstheorie / H. Hermes

Public ISBD Titre : Einfuhrung in die verbandstheorie Type de document : texte imprimé Auteurs : H. Hermes Editeur : Springer-Verlag Année de publication : 1955 Collection : Die Grundlehren der Mathematischen Wissenschaften num. 73 Importance : VI-164 Langues : Allemand Mots-clés : treillis Index. décimale : 06C Monographie Einfuhrung in die verbandstheorie [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, 1955 . - VI-164. - (Die Grundlehren der Mathematischen Wissenschaften; 73) . Langues : Allemand Mots-clés : treillis Index. décimale : 06C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3720	06C08	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Enumerability. Decidability. Computability / H. Hermes

Permalink

Functional analysis and time optimal control / H. Hermes

Permalink

Zahlen / Ebbinghaus, Heinz-Dieter

Permalink

---

page 1/1