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.
Complexity, Logic, and Recursion Theory / Edited by Andrea Sorbi
| Complexity, Logic, and Recursion Theory / Edited by Andrea Sorbi |
| Autore | Sorbi, Andrea |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, 1997 |
| Descrizione fisica | viii, 363 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8247-0026-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001432600403321 |
Sorbi, Andrea
|
||
| New York [etc.] : Marcel Dekker, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Complexity, logic, and recursion theory / edited by Andrea Sorbi
| Complexity, logic, and recursion theory / edited by Andrea Sorbi |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1997 |
| Descrizione fisica | viii, 363 p. ; 26 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica matematica
Teoria della ricorsivita' Complessita numerica |
| ISBN | 0-8247-0026-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001301660403321 |
| New York [etc.] : Marcel Dekker, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Complexity, logic, and recursion theory / edited by Andrea Sorbi
| Complexity, logic, and recursion theory / edited by Andrea Sorbi |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1997 |
| Descrizione fisica | VIII, 363 p. ; 26 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto topico |
Logica matematica
Complessità computazionale |
| ISBN | 0-8247-0026-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015834 |
| New York [etc.] : Marcel Dekker, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Computability in context : computation and logic in the real world / editors S. Barry Cooper, Andrea Sorbi
| Computability in context : computation and logic in the real world / editors S. Barry Cooper, Andrea Sorbi |
| Pubbl/distr/stampa | London : Imperial College Press, 2011 |
| Descrizione fisica | viii, 410 p. ; 24 cm |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN |
978-1-84816-245-7
1-84816-245-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009412370403321 |
| London : Imperial College Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation and Logic in the Real World [Risorsa elettronica] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
| Computation and Logic in the Real World [Risorsa elettronica] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540730019 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009249110403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors
| New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors |
| Pubbl/distr/stampa | New York : Springer, c2008 |
| Descrizione fisica | xiii, 557 p. : ill. ; 24 cm |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 978-0-387-36033-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008672600403321 |
| New York : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors
| New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors |
| Pubbl/distr/stampa | New York, : Springer, 2008 |
| Descrizione fisica | XIII, 557 p. ; 24 cm. |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 978-03-87360-33-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0065407 |
| New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors
| New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors |
| Pubbl/distr/stampa | New York, : Springer, 2008 |
| Descrizione fisica | XIII, 557 p. ; 24 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 978-03-87360-33-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0065407 |
| New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors
| New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors |
| Pubbl/distr/stampa | New York, : Springer, 2008 |
| Descrizione fisica | XIII, 557 p. ; 24 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 978-03-87360-33-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0065407 |
| New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors
| New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi editors |
| Pubbl/distr/stampa | New York, : Springer, 2008 |
| Descrizione fisica | XIII, 557 p. ; 24 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 978-03-87360-33-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00065407 |
| New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||