top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
Computability theory / S. Barry Cooper
Computability theory / S. Barry Cooper
Autore Cooper, S. Barry
Pubbl/distr/stampa Boca Raton, : Chapman & Hall, 2004
Descrizione fisica IX, 409 p. ; 24 cm.
Soggetto topico 03Dxx - Computability and recursion theory [MSC 2020]
ISBN 978-15-8488-237-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0019576
Cooper, S. Barry  
Boca Raton, : Chapman & Hall, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability theory / S. Barry Cooper
Computability theory / S. Barry Cooper
Autore Cooper, S. Barry
Pubbl/distr/stampa Boca Raton, : Chapman & Hall, 2004
Descrizione fisica IX, 409 p. ; 24 cm
Soggetto topico 03Dxx - Computability and recursion theory [MSC 2020]
ISBN 978-15-8488-237-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0019576
Cooper, S. Barry  
Boca Raton, : Chapman & Hall, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability theory / S. Barry Cooper
Computability theory / S. Barry Cooper
Autore Cooper, S. Barry
Pubbl/distr/stampa Boca Raton, : Chapman & Hall, 2004
Descrizione fisica IX, 409 p. ; 24 cm
Soggetto topico 03Dxx - Computability and recursion theory [MSC 2020]
ISBN 978-15-8488-237-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00019576
Cooper, S. Barry  
Boca Raton, : Chapman & Hall, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge : Cambridge University Press, c1996
Descrizione fisica vii, 347 p. ; 23 cm
Disciplina 511.35
Collana London Mathematical Society lecture note series
Soggetto non controllato Teoria della ricorsivita - Congressi
ISBN 0-521-55736-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001362610403321
Cambridge : Cambridge University Press, c1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge, : Cambridge university, 1996
Descrizione fisica VII, 347 p. ; 24 cm.
Soggetto topico 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020]
ISBN 05-215-5736-4
978-05-215-5736-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0054913
Cambridge, : Cambridge university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge, : Cambridge university, 1996
Descrizione fisica VII, 347 p. ; 24 cm
Soggetto topico 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020]
ISBN 05-215-5736-4
978-05-215-5736-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054913
Cambridge, : Cambridge university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge, : Cambridge university, 1996
Descrizione fisica VII, 347 p. ; 24 cm
Soggetto topico 03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020]
03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
ISBN 05-215-5736-4
978-05-215-5736-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00054913
Cambridge, : Cambridge university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Autore European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997
Pubbl/distr/stampa Cambridge, : Cambridge University, 1999
Descrizione fisica VI, 419 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
ISBN 05-216-3550-0
8-0-521-63550-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0019452
European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997  
Cambridge, : Cambridge University, 1999
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui