Descriptive complexity / Neil Immerman
| Descriptive complexity / Neil Immerman |
| Autore | Immerman, Neil |
| Pubbl/distr/stampa | New York : Springer, copyr. 1999 |
| Descrizione fisica | XVI, 268 p. : ill. ; 24 cm. - (Graduate texts in computer science) |
| Disciplina | 00512 |
| Soggetto non controllato |
algoritmi
complessita' computazionale |
| ISBN | 0-387-98600-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000248470203316 |
Immerman, Neil
|
||
| New York : Springer, copyr. 1999 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Descriptive complexity / Neil Immerman
| Descriptive complexity / Neil Immerman |
| Autore | Immerman, Neil |
| Pubbl/distr/stampa | New York, : Springer, 1999 |
| Descrizione fisica | XVI, 268 p. : ill. ; 24 cm. |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN |
03-87986-00-6
978-03-87986-00-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0038794 |
Immerman, Neil
|
||
| New York, : Springer, 1999 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptive complexity / Neil Immerman
| Descriptive complexity / Neil Immerman |
| Autore | Immerman, Neil |
| Pubbl/distr/stampa | New York, : Springer, 1999 |
| Descrizione fisica | XVI, 268 p. : ill. ; 24 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN |
03-87986-00-6
978-03-87986-00-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0038794 |
Immerman, Neil
|
||
| New York, : Springer, 1999 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptive complexity / Neil Immerman
| Descriptive complexity / Neil Immerman |
| Autore | Immerman, Neil |
| Pubbl/distr/stampa | New York, : Springer, 1999 |
| Descrizione fisica | XVI, 268 p. : ill. ; 24 cm |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN |
03-87986-00-6
978-03-87986-00-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00038794 |
Immerman, Neil
|
||
| New York, : Springer, 1999 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor
| Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor |
| Pubbl/distr/stampa | Providence, R.I., : American Mathematical Society, 1997 |
| Descrizione fisica | xiv, 248 p. : ill. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 08-218-0517-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0038793 |
| Providence, R.I., : American Mathematical Society, 1997 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor
| Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor |
| Pubbl/distr/stampa | Providence, R.I., : American Mathematical Society, 1997 |
| Descrizione fisica | xiv, 248 p. : ill. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 08-218-0517-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0038793 |
| Providence, R.I., : American Mathematical Society, 1997 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor
| Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor |
| Pubbl/distr/stampa | Providence, R.I., : American Mathematical Society, 1997 |
| Descrizione fisica | xiv, 248 p. : ill. ; 26 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68-XX - Computer science [MSC 2020] |
| ISBN | 08-218-0517-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00038793 |
| Providence, R.I., : American Mathematical Society, 1997 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||