Coding Theory and Algebraic Geometry : Proceedings of the International Workshop held in Luminy, France, June 17-21, 1991 / H. Stichtenoth, M. A. Tsfasman (Eds.)
| Coding Theory and Algebraic Geometry : Proceedings of the International Workshop held in Luminy, France, June 17-21, 1991 / H. Stichtenoth, M. A. Tsfasman (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1992 |
| Descrizione fisica | viii, 223 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
11-XX - Number theory [MSC 2020] 14-XX - Algebraic geometry [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] |
| Soggetto non controllato |
Algebraic varieties
Coding theory Error-Correcting Codes Extensions Finite fields |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289317 |
| Berlin [etc.], : Springer-Verlag, 1992 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Displaying Modal Logic / Heinrich Wansing
| Displaying Modal Logic / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1998 |
| Descrizione fisica | xi, 252 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B44 - Temporal logic [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B47 - Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
| Soggetto non controllato |
Cut-elimination theorem
Extensions Logic Modal Logic Nonmonotonic reasoning Predicate logic Proofs Semantics Sequent Calculus |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298387 |
Wansing, Heinrich
|
||
| Dordrecht, : Springer, : Kluwer, 1998 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Embeddings and Extensions in Analysis / J. H. Wells, L. R. Williams
| Embeddings and Extensions in Analysis / J. H. Wells, L. R. Williams |
| Autore | Wells, James H. |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | vi, 107 p. ; 24 cm |
| Altri autori (Persone) | Williams, Lynn R. |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
46E35 - Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems [MSC 2020] 46E30 - Spaces of measurable functions (Lp-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc) [MSC 2020] |
| Soggetto non controllato |
Analysis
Banach spaces Boundary Element Methods Character Embeddings Extensions Forms Hilbert spaces Metric spaces Objects Presentation Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256322 |
Wells, James H.
|
||
| Berlin, : Springer, 1975 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Embeddings and Extensions in Analysis / J. H. Wells, L. R. Williams
| Embeddings and Extensions in Analysis / J. H. Wells, L. R. Williams |
| Autore | Wells, James H. |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | vi, 107 p. ; 24 cm |
| Altri autori (Persone) | Williams, Lynn R. |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
46E30 - Spaces of measurable functions (Lp-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc) [MSC 2020] 46E35 - Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems [MSC 2020] |
| Soggetto non controllato |
Analysis
Banach spaces Boundary Element Methods Character Embeddings Extensions Forms Hilbert spaces Metric spaces Objects Presentations Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00256322 |
Wells, James H.
|
||
| Berlin, : Springer, 1975 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods
| Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods |
| Autore | Porter, Jack R. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | XIII, 856 p. : ill. ; 24 cm |
| Altri autori (Persone) | Woods, R. Grant |
| Soggetto topico |
54-XX - General topology [MSC 2020]
54C20 - Extension of maps [MSC 2020] |
| Soggetto non controllato |
Compactification
Extensions Spaces Topology |
| ISBN | 978-03-87962-12-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053407 |
Porter, Jack R.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods
| Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods |
| Autore | Porter, Jack R. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | XIII, 856 p. : ill. ; 24 cm |
| Altri autori (Persone) | Woods, R. Grant |
| Soggetto topico |
54-XX - General topology [MSC 2020]
54C20 - Extension of maps [MSC 2020] |
| Soggetto non controllato |
Compactification
Extensions Spaces Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0269013 |
Porter, Jack R.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods
| Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods |
| Autore | Porter, Jack R. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | XIII, 856 p. : ill. ; 24 cm |
| Altri autori (Persone) | Woods, R. Grant |
| Soggetto topico |
54-XX - General topology [MSC 2020]
54C20 - Extension of maps [MSC 2020] |
| Soggetto non controllato |
Compactifications
Extensions Spaces Topology |
| ISBN | 978-03-87962-12-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053407 |
Porter, Jack R.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods
| Extensions and absolutes of Hausdorff spaces / Jack R. Porter, R. Grant Woods |
| Autore | Porter, Jack R. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | XIII, 856 p. : ill. ; 24 cm |
| Altri autori (Persone) | Woods, R. Grant |
| Soggetto topico |
54-XX - General topology [MSC 2020]
54C20 - Extension of maps [MSC 2020] |
| Soggetto non controllato |
Compactifications
Extensions Spaces Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00269013 |
Porter, Jack R.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Fuzzy Databases : Principles and Applications / by Frederick E. Petry ; with contribution by Patrick Bosc
| Fuzzy Databases : Principles and Applications / by Frederick E. Petry ; with contribution by Patrick Bosc |
| Autore | Petry, Frederick E. |
| Pubbl/distr/stampa | Boston [etc.], : Kluwer, 1996 |
| Descrizione fisica | x, 226 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68P15 - Database theory [MSC 2020] 68P20 - Information storage and retrieval of data (aspects in computer science) [MSC 2020] |
| Soggetto non controllato |
Database
Extensions Fuzziness Fuzzy sets Information systems Modeling Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296739 |
Petry, Frederick E.
|
||
| Boston [etc.], : Kluwer, 1996 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Fuzzy Set Theory : Basic Concepts, Techniques and Bibliography / by R. Lowen
| Fuzzy Set Theory : Basic Concepts, Techniques and Bibliography / by R. Lowen |
| Autore | Lowen, Robert |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1996 |
| Descrizione fisica | xiv, 408 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E72 - Theory of fuzzy sets, etc. [MSC 2020] |
| Soggetto non controllato |
Cognition
Control Expert systems Extensions Fuzzy Logic Fuzzy sets Linear optimization Neural networks Operations Research Pattern recognition Set Theory Sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296354 |
Lowen, Robert
|
||
| Dordrecht, : Springer, : Kluwer, 1996 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||