Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Storico ricerche
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
Mathematical logic : foundations for information science / Wei Li
Info
Relazione altra opera
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Autore:
Li, Wei
Titolo:
Mathematical logic : foundations for information science / Wei Li
Pubblicazione:
Basel, : Birkhäuser, : Springer, 2014
Titolo uniforme:
Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn
Edizione:
2. revised ed
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
Titolo autorizzato:
Shùlǐ luójí : Jīběn yuánlǐ yǔ xíngshì yǎnsuàn
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN00103142
Lo trovi qui:
Univ. Vanvitelli
Localizzazioni e accesso elettronico
http://dx.doi.org/10.1007/978-3-0348-0862-0
Opac:
Controlla la disponibilità qui
Serie:
Progress in computer science and applied logic Basel [etc.] . -Birkhäuser ; 25