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