Mathematical logic : foundations for information science / Wei Li |
Autore | Li, Wei |
Edizione | [2. revised ed] |
Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
Soggetto topico |
83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]
58J45 - Hyperbolic equations on manifolds [MSC 2020] 58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 53C80 - Applications of global differential geometry to the sciences [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
ISBN | 8-3-0348-0861-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0103142 |
Li, Wei | ||
Basel, : Birkhäuser, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic : foundations for information science / Wei Li |
Autore | Li, Wei |
Edizione | [2. revised ed] |
Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
Soggetto topico |
83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]
58J45 - Hyperbolic equations on manifolds [MSC 2020] 58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 53C80 - Applications of global differential geometry to the sciences [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
Soggetto non controllato |
First-order language
Gödel theorem Inductive inference Language environment Revision calculus Version sequence |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0103142 |
Li, Wei | ||
Basel, : Birkhäuser, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic : foundations for information science / Wei Li |
Autore | Li, Wei |
Edizione | [2. revised ed] |
Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
Soggetto topico |
53C80 - Applications of global differential geometry to the sciences [MSC 2020]
58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 58J45 - Hyperbolic equations on manifolds [MSC 2020] 83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
Soggetto non controllato |
First-order language
Gödel theorem Inductive inference Language environment Revision calculus Version sequence |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00103142 |
Li, Wei | ||
Basel, : Birkhäuser, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors] |
Pubbl/distr/stampa | Singapore, : Springer, 2019 |
Descrizione fisica | viii, 107 p. : ill. ; 24 cm |
Soggetto topico | 00A65 - Mathematics and music [MSC 2020] |
Soggetto non controllato |
Audio Information Security
Audio signal processing Auditory Psychology Compositions Computer audition Music production Sound design |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0127373 |
Singapore, : Springer, 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors] |
Pubbl/distr/stampa | Singapore, : Springer, 2019 |
Descrizione fisica | viii, 107 p. : ill. ; 24 cm |
Soggetto topico | 00A65 - Mathematics and music [MSC 2020] |
Soggetto non controllato |
Audio Information Security
Audio signal processing Auditory Psychology Compositions Computer audition Music production Sound design |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00127373 |
Singapore, : Springer, 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors] |
Edizione | [Singapore : Springer, 2019] |
Pubbl/distr/stampa | viii, 107 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico | 00A65 - Mathematics and music [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0127373 |
viii, 107 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Stereoselective Formation of Amines / editors Wei Li, Xumu Zhang |
Pubbl/distr/stampa | Berlino, : Springer, 2014 |
Descrizione fisica | VII, 286 p. : ill. ; 24 cm |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0258239 |
Berlino, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Stereoselective Formation of Amines / editors Wei Li, Xumu Zhang |
Pubbl/distr/stampa | Berlino, : Springer, 2014 |
Descrizione fisica | VII, 286 p. : ill. ; 24 cm |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00258239 |
Berlino, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Wireless Algorithms, Systems, and Applications [Risorsa elettronica] : First International Conference, WASA 2006, Xian, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540371908 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009248600403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|