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.
Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek
| Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1998 |
| Descrizione fisica | 2 v. ; 24 cm. |
| Disciplina | 511.35(Logica matematica (Logica simbolica). Teoria della ricorsivita'.) |
| ISBN | 04-445-0107-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0030384 |
| Amsterdam, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of recursive mathematics [e-book] / edited by Yu. L. Ershov ... [et al.] ; associate editor, V. M. Marek
| Handbook of recursive mathematics [e-book] / edited by Yu. L. Ershov ... [et al.] ; associate editor, V. M. Marek |
| Pubbl/distr/stampa | Amsterdam ; New York : Elsevier, 1998 |
| Descrizione fisica | 2 v. (xlvi, 1372 p.) : ill. ; 24 cm |
| Disciplina | 511.35 |
| Altri autori (Persone) | Ershov, Yu. L. |
| Collana | Studies in logic and the foundations of mathematics ; 138-139 |
| Soggetto topico | Recursion theory |
| ISBN |
9780444500038
0444500030 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | v. 1. Recursive model theory ; v. 2. Recursive algebra, analysis and combinatorics |
| Record Nr. | UNISALENTO-991003276589707536 |
| Amsterdam ; New York : Elsevier, 1998 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Handbook of recursive mathematics [e-book] / edited by Yu. L. Ershov ... [et al.] ; associate editor, V. M. Marek
| Handbook of recursive mathematics [e-book] / edited by Yu. L. Ershov ... [et al.] ; associate editor, V. M. Marek |
| Pubbl/distr/stampa | Amsterdam ; New York : Elsevier, 1998 |
| Descrizione fisica | 2 v. (xlvi, 1372 p.) : ill. ; 24 cm |
| Disciplina | 511.35 |
| Altri autori (Persone) | Ershov, Yu. L. |
| Collana | Studies in logic and the foundations of mathematics ; 138-139 |
| Soggetto topico | Recursion theory |
| ISBN |
9780444501066
0444501061 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | v. 1. Recursive model theory ; v. 2. Recursive algebra, analysis and combinatorics. |
| Record Nr. | UNISALENTO-991003281589707536 |
| Amsterdam ; New York : Elsevier, 1998 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek
| Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor V.W. Marek |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1998 |
| Descrizione fisica | 2 volumi ; 24 cm |
| Disciplina | 511.35(Logica matematica (Logica simbolica). Teoria della ricorsivita'.) |
| ISBN | 04-445-0107-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0030384 |
| Amsterdam, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
| Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. <1939- > |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Boston [etc.] ; Pearson : Addison-Wesley, 2007 |
| Descrizione fisica | XVII, 535 p. : ill. ; 24 cm. |
| Disciplina | 511.35 |
| Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. <1942- > |
| Soggetto topico |
Teoria degli automi
Elaboratori - Linguaggi formali Complessità computazionale |
| ISBN |
0-321-45536-3
978-0-321-47617-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000033841 |
Hopcroft, John E. <1939- >
|
||
| Boston [etc.] ; Pearson : Addison-Wesley, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Irreducibility and Computational Equivalence [[electronic resource] ] : 10 Years After Wolfram's A New Kind of Science / / edited by Hector Zenil
| Irreducibility and Computational Equivalence [[electronic resource] ] : 10 Years After Wolfram's A New Kind of Science / / edited by Hector Zenil |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (353 p.) |
| Disciplina |
511.3/5
511.35 |
| Collana | Emergence, Complexity and Computation |
| Soggetto topico |
Computational complexity
Computational intelligence Artificial intelligence Complexity Computational Intelligence Artificial Intelligence |
| ISBN |
1-283-94636-X
3-642-35482-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A Lyapunov View on the Stability of Cellular Automata.- Part II The World of Numbers & Simple Programs -- Cellular Automata: Models of the Physical World -- Part III Everyday Systems -- A New Kind of Finance -- The Relevance and Importance of Computation Universality in Economics -- Part IV Fundamental Physics -- The Principle of a Finite Density of Information -- Part V The Behavior of Systems & the Notion of Computation -- An Incompleteness Theorem for the Natural World -- Part VI Irreducibility & Computational Equivalence -- Exploring the Computational Limits of Haugeland's Game as a Two-Dimensional Cellular Automaton.- Part VII Deliberations and Philosophical Implications -- Wolfram and the Computing Nature. |
| Record Nr. | UNINA-9910739416803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]
| Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]] |
| Autore | Barendregt H. P (Hendrik Pieter) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xxii, 833 pages) : digital, PDF file(s) |
| Disciplina | 511.35 |
| Collana | Perspectives in logic |
| Soggetto topico | Lambda calculus |
| ISBN |
1-139-89197-9
1-107-27172-X 1-107-27381-1 1-107-27504-0 1-107-27707-8 1-139-03263-1 1-107-27830-9 1-299-77274-9 1-107-47131-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications. |
| Record Nr. | UNINA-9910464948403321 |
|
Barendregt H. P (Hendrik Pieter)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]
| Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]] |
| Autore | Barendregt H. P (Hendrik Pieter) |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xxii, 833 pages) : digital, PDF file(s) |
| Disciplina | 511.35 |
| Collana | Perspectives in logic |
| Soggetto topico | Lambda calculus |
| ISBN |
1-139-89197-9
1-107-27172-X 1-107-27381-1 1-107-27504-0 1-107-27707-8 1-139-03263-1 1-107-27830-9 1-299-77274-9 1-107-47131-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications. |
| Record Nr. | UNINA-9910789313503321 |
|
Barendregt H. P (Hendrik Pieter)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]
| Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]] |
| Autore | Barendregt H. P (Hendrik Pieter) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xxii, 833 pages) : digital, PDF file(s) |
| Disciplina | 511.35 |
| Collana | Perspectives in logic |
| Soggetto topico | Lambda calculus |
| ISBN |
1-139-89197-9
1-107-27172-X 1-107-27381-1 1-107-27504-0 1-107-27707-8 1-139-03263-1 1-107-27830-9 1-299-77274-9 1-107-47131-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications. |
| Record Nr. | UNINA-9910822226703321 |
|
Barendregt H. P (Hendrik Pieter)
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Le reti di Petri : teoria e pratica / G. W. Brams ; presentazione di Alberto Bertoni ; traduzione di Daniele Pieragostini
| Le reti di Petri : teoria e pratica / G. W. Brams ; presentazione di Alberto Bertoni ; traduzione di Daniele Pieragostini |
| Autore | Brams, G. W. |
| Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
| Descrizione fisica | 2 v. ; 24 cm. |
| Disciplina |
511
511.35 |
| Collana | Manuali di informatica Masson |
| Soggetto topico | Reti di Petri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-CFI0021984 |
|
Brams, G. W.
|
||
| Milano, : Masson Italia, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
