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.
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
| A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib |
| Autore | Kfoury, Assaf J. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | viii, 251 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Arbib, Michael A.
Moll, Robert N. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] |
| Soggetto non controllato |
Algorithms
Classification Computability theory Formal languages Predictability Programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268469 |
Kfoury, Assaf J.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
| A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib |
| Autore | Kfoury, Assaf J. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | viii, 251 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Arbib, Michael A.
Moll, Robert N. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 68-XX - Computer science [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Algorithms
Classification Computability theory Formal languages Predictability Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268469 |
|
Kfoury, Assaf J.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Action to language via the mirror neuron system / edited by Michael A. Arbib
| Action to language via the mirror neuron system / edited by Michael A. Arbib |
| Pubbl/distr/stampa | Cambridge, : Cambridge university press, 2006 |
| Descrizione fisica | XIII, 552 p. : ill. ; 26 cm. |
| Disciplina | 401.9 |
| Soggetto topico | Linguaggio - Psicologia |
| ISBN |
0521847559
9780521847551 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAS-TSA0892134 |
| Cambridge, : Cambridge university press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Cassino e del Lazio Meridionale | ||
| ||
Algebraic theory of machines, languages, and semi-groups / edited by Michael A. Arbib ; with a major contribution by Kenneth Krohn and John L. Rhodes
| Algebraic theory of machines, languages, and semi-groups / edited by Michael A. Arbib ; with a major contribution by Kenneth Krohn and John L. Rhodes |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York : Academic Press, 1968 |
| Descrizione fisica | xvi, 359 p. ; 24 cm. |
| Disciplina | 512.2 |
| Altri autori (Persone) |
Krohn, Kenneth
Rhodes, John L. |
| Soggetto topico |
Group theory
Machine theory Mathematical linguistics |
| Classificazione | AMS 20M35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000662719707536 |
|
Arbib, Michael A.
|
||
| New York : Academic Press, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib
| Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York : Academic Press, Inc., 1968 |
| Descrizione fisica | 359 p. ; 23 cm. |
| Classificazione | 621.3.8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000804829707536 |
|
Arbib, Michael A.
|
||
| New York : Academic Press, Inc., 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Biomathematics
| Biomathematics |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1970- |
| ISSN | 0067-8821 |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | und |
| Altri titoli varianti | Biomathematics texts. |
| Record Nr. | UNISANNIO-VEA0025748 |
| Berlin [etc.], : Springer, 1970- | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 |
| Descrizione fisica | 151 p. : ill. ; 20 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000244950203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 |
| Descrizione fisica | 151 p. : ill. ; 20 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000140950203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1987 |
| Descrizione fisica | X, 201 p. : 63 ill. ; 24 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| ISBN | 0-387-96539-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000140940203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : Springer-Verlag, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1987 |
| Descrizione fisica | X, 201 p. : 63 ill. ; 24 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| ISBN | 0-387-96539-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000244940203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : Springer-Verlag, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
