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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|