Gems of theoretical computer science / Uwe Schoning, Randall Pruim
| Gems of theoretical computer science / Uwe Schoning, Randall Pruim |
| Autore | Schoning, Uwe |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | X, 320 p. : illl. ; 23.5 cm |
| Disciplina | 004 |
| Soggetto non controllato | elaboratori elettronici |
| ISBN | 3-540-64425-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000253480203316 |
Schoning, Uwe
|
||
| Berlin : Springer-Verlag, copyr. 1998 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Edizione | [Reprint of the 1989 edition] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 2008 |
| Descrizione fisica | 166 p. : ill. ; 24 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-08-17-64762-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0081055 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 2008 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Edizione | [Reprint of the 1989 edition] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 2008 |
| Descrizione fisica | 166 p. : ill. ; 24 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-08-17-64762-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0081055 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 2008 | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Edizione | [Reprint of the 1989 edition] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 2008 |
| Descrizione fisica | 166 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-08-17-64762-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0081055 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 2008 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Edizione | [Reprint of the 1989 edition] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 2008 |
| Descrizione fisica | 166 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-08-17-64762-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00081055 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 2008 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1989 |
| Descrizione fisica | 166 p. : ill. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN |
978-08-17-63453-7
37-643-3453-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051323 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1989 |
| Descrizione fisica | 166 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 978-08-17-63453-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0051323 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1989 |
| Descrizione fisica | 166 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 68N17 - Logic programming [MSC 2020] |
| ISBN | 978-08-17-63453-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00051323 |
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||