Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dietary Fibers and Human Health / Megan McCrory
| Dietary Fibers and Human Health / Megan McCrory |
| Autore | McCrory Megan |
| Pubbl/distr/stampa | Basel, Switzerland : , : MDPI, , 2017 |
| Descrizione fisica | 1 electronic resource (X, 383 p.) |
| Soggetto non controllato |
Definition
Dietary fiber Fermentation Prebiotic Glucose control |
| ISBN |
9783038425823
3038425826 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910247443403321 |
|
McCrory Megan
|
||
| Basel, Switzerland : , : MDPI, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genus und Kasus der russischen Substantive : zur Definition und Identifikation grammatischer Kategorien / / von Markus Hubenschmid ; herausgegeben von Sebastian Kempgen
| Genus und Kasus der russischen Substantive : zur Definition und Identifikation grammatischer Kategorien / / von Markus Hubenschmid ; herausgegeben von Sebastian Kempgen |
| Autore | Hubenschmid Markus |
| Pubbl/distr/stampa | Munich, Germany, : Verlag Otto Sagner, 2012, c1993 |
| Descrizione fisica | 1 online resource (vi, 134 p.) |
| Altri autori (Persone) | KempgenSebastian |
| Collana | Vorträge und Abhandlungen zur Slavistik |
| Soggetto topico |
Russian language - Nominals
Russian language - Gender Russian language - Case Grammar, Comparative and general - Grammatical categories |
| Soggetto non controllato |
Definition
Genus grammatischer Hubenschmid Identifikation Kasus Kategorien Linguistik Philologie russischen Russland Slavische Sprachwissenschaft Substantive Syntax |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910563047103321 |
|
Hubenschmid Markus
|
||
| Munich, Germany, : Verlag Otto Sagner, 2012, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Innovationen in der Arzneimitteltherapie : Definition, medizinische Umsetzung und Finanzierung- Bad Orber Gespräche über kontroverse Themen im Gesundheitswesen 25.-27.10.1996 / Eberhard Wille, Manfred Albring, Eberhard Wille
| Innovationen in der Arzneimitteltherapie : Definition, medizinische Umsetzung und Finanzierung- Bad Orber Gespräche über kontroverse Themen im Gesundheitswesen 25.-27.10.1996 / Eberhard Wille, Manfred Albring, Eberhard Wille |
| Autore | Wille Eberhard |
| Edizione | [1st, New ed.] |
| Pubbl/distr/stampa | Frankfurt a.M, : PH02, 2018 |
| Descrizione fisica | 1 online resource (157 p.) : , EPDF |
| Collana | Allokation im marktwirtschaftlichen System |
| Soggetto topico |
Health economics
Research & development management Employment & labour law Medical sociology |
| Soggetto non controllato |
1996
Albring Arzneimitteltherapie Definition Finanzierung Gespräche Gesundheitswesen Innovationen kontroverse medizinische Orber Themen über Umsetzung |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Aus dem Inhalt: Axel Granitza: Vorwort - Manfred Albring/Eberhard Wille: Zur aktuellen Bedeutung von Arzneimittelinnovationen - Hans J. Dengler: Überlegungen zum Begriff der medizinischen Innovation - Eberhard Wille: Anliegen und Aufbau des Workshops: Arzneimittelinnovationen ganzheitlich betrachtet - Wolfgang Brech/Wolfgang Mohr: Arzneimittelinnovationen aus Sicht der Kassenärzte - Franz Knieps/Herbert Rebscher: Arzneimittelinnovationen aus der Perspektive der Krankenkassen - Günter Stock/Frank Münnich: Arzneimittelinnovationen aus dem Blickwinkel der pharmazeutischen Industrie - Diether Neubert: Medizinisch-pharmakologische Anforderungen an Arzneimittelinnovationen: Zusammenfassung Arbeitsgruppe 1 - Dieter Cassel: Die Finanzierung von Innovationen unter dem Budgetdeckel: Zusammenfassung Arbeitsgruppe 2 - Alexander P.F. Ehlers: Die solidarischen Grenzen des GKV-Arzneimittelkataloges: Zusammenfassung Arbeitsgruppe 3 - Eberhard Wille: Innovationen in der Arzneimitteltherapie: Übereinstimmungen und divergierende Meinungen. |
| Record Nr. | UNINA-9910563014903321 |
|
Wille Eberhard
|
||
| Frankfurt a.M, : PH02, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Die Macht des Definierens : Eine diskurslinguistische Typologie am Beispiel des Burnout-Phänomens / / Theresa Schnedermann
| Die Macht des Definierens : Eine diskurslinguistische Typologie am Beispiel des Burnout-Phänomens / / Theresa Schnedermann |
| Autore | Schnedermann Theresa <1984-> |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2021] |
| Descrizione fisica | 1 online resource (XIX, 595 p.) |
| Collana | Sprache und Wissen (SuW) |
| Soggetto topico | LANGUAGE ARTS & DISCIPLINES / Linguistics / General |
| Soggetto non controllato |
Definition
burn-out, communicative practices discourse analysis |
| ISBN | 3-11-072783-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Open-Access-Transformation in der Linguistik -- Danksagung -- Inhalt -- Abbildungsverzeichnis -- Tabellenverzeichnis -- Abkürzungsverzeichnis -- Anmerkungen zur Notation -- 1 Einführung -- 2 Erkenntnistheoretischer und sprachtheoretischer Rahmen -- 3 Medizinisch-psychologisches Wissen zwischen Realität und (Sprach-) Zeichen -- 4 Untersuchungsmethode: Diskurs(macht) - Wissen - Definition -- 5 Korpora und Charakterisierung der Erscheinungsformen der Texte des Burnout-Diskurses -- 6 Untersuchung: Die Macht des Definierens im Bereich psychischer Gesundheit und Krankheit am Beispiel des Burnout-Diskurses -- 7 Zusammenfassung der Ergebnisse: Analysemodell und Typologie der diskursiven Praxis des Definierens am Beispiel des Burnout- Phänomens -- 8 Literatur und Korpora -- Anhang -- Sachregister |
| Record Nr. | UNISA-996449436003316 |
|
Schnedermann Theresa <1984->
|
||
| Berlin ; ; Boston : , : De Gruyter, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||