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 and complexity theory / Steven Homer, Alan L. Selman
Computability and complexity theory / Steven Homer, Alan L. Selman
Autore Homer, Steven
Pubbl/distr/stampa New York [etc.] : Springer, c2001
Descrizione fisica IX, 195 p. ; 24 cm
Altri autori (Persone) Selman, Alan L.
Collana Texts in Computer Science
Soggetto non controllato Cibernetica
Teoria dei giochi
Teoria degli automi
Intelligenza artificiale
ISBN 0-387-95055-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008109870403321
Homer, Steven  
New York [etc.] : Springer, c2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computability and complexity theory / Steven Homer, Alan L. Selman
Computability and complexity theory / Steven Homer, Alan L. Selman
Autore Homer, Steven
Pubbl/distr/stampa New York, : Springer, 2001
Descrizione fisica XIII, 194 p. : ill. ; 24 cm.
Altri autori (Persone) Selman, Alan L.
Soggetto topico 68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
ISBN 03-87950-55-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0057288
Homer, Steven  
New York, : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability and complexity theory / Steven Homer, Alan L. Selman
Computability and complexity theory / Steven Homer, Alan L. Selman
Autore Homer, Steven
Pubbl/distr/stampa New York, : Springer, 2001
Descrizione fisica XIII, 194 p. : ill. ; 24 cm
Altri autori (Persone) Selman, Alan L.
Soggetto topico 68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
ISBN 03-87950-55-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0057288
Homer, Steven  
New York, : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability and complexity theory / Steven Homer, Alan L. Selman
Computability and complexity theory / Steven Homer, Alan L. Selman
Autore Homer, Steven
Pubbl/distr/stampa New York, : Springer, 2001
Descrizione fisica XIII, 194 p. : ill. ; 24 cm
Altri autori (Persone) Selman, Alan L.
Soggetto topico 68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
ISBN 03-87950-55-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00057288
Homer, Steven  
New York, : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; Editor: P. Odifreddi
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; Editor: P. Odifreddi
Autore Centro internazionale matematico estivo
Pubbl/distr/stampa Berlin, : Springer-Verlag, 1990
Descrizione fisica 153 p. ; 24 cm
Soggetto topico 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
68-XX - Computer science [MSC 2020]
Soggetto non controllato Computer Science
Logic
Programming
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00286916
Centro internazionale matematico estivo  
Berlin, : Springer-Verlag, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
Autore Homer, Steven
Pubbl/distr/stampa Berlin : Springer-Verlag, 1990
Descrizione fisica 162 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Nerode, Anil
Platek, Richard A.
Sacks, Gerald E.
Scedrov, Andre
Odifreddi, Piergiorgio
Collana Lecture notes in mathematics, 0075-8434 ; 1429
Soggetto topico Computer science - Congresses
Logic - Congresses
ISBN 3540527346
Classificazione AMS 03B20
AMS 03B40
AMS 03B70
AMS 03D15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991001093939707536
Homer, Steven  
Berlin : Springer-Verlag, 1990
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic and computer science [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 / by Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi
Logic and computer science [e-book] : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 / by Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi
Autore Homer, Steven
Pubbl/distr/stampa Berlin : Springer, 1990
Descrizione fisica 1 online resource (v, 162 p.)
Disciplina 511.3
Altri autori (Persone) Odifreddi, Piergiorgio
Collana Lecture Notes in Mathematics, 0075-8434 ; 1429
Soggetto topico Mathematics
Computer science
Logic, Symbolic and mathematical
ISBN 9783540471356
Classificazione AMS 03B20
AMS 03B40
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002236799707536
Homer, Steven  
Berlin : Springer, 1990
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui