Duality theories for boolean algebras with operators / Steven Givant |
Autore | Givant, Steven R. |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | XIV, 233 p. ; 24 cm |
Soggetto topico |
03Bxx - General logic [MSC 2020]
03Gxx - Algebraic logic [MSC 2020] 06Exx - Boolean algebras (Boolean rings) [MSC 2020] 18-XX - Category theory; homological algebra [MSC 2020] |
Soggetto non controllato |
Algebraic duality
Boolean algebra Hybrid duality Relational Structure Topological duality Weak compactifications |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00103469 |
Givant, Steven R.
![]() |
||
Cham, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Duality theories for boolean algebras with operators / Steven Givant |
Autore | Givant, Steven R. |
Edizione | [Cham : Springer, 2014] |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
03Bxx - General logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Exx - Boolean algebras (Boolean rings) [MSC 2020] |
ISBN | 8-3-319-06742-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0103469 |
Givant, Steven R.
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of logic via numbers and sets / D. L. Johnson |
Autore | Johnson, David L. |
Pubbl/distr/stampa | London, : Springer, 1998 |
Descrizione fisica | X, 174 p. : ill. ; 24 cm. |
Soggetto topico |
03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN |
35-407-6123-3
978-35-407-6123-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0050937 |
Johnson, David L.
![]() |
||
London, : Springer, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of logic via numbers and sets / D. L. Johnson |
Autore | Johnson, David L. |
Pubbl/distr/stampa | London, : Springer, 1998 |
Descrizione fisica | X, 174 p. : ill. ; 24 cm |
Soggetto topico |
03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN |
35-407-6123-3
978-35-407-6123-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0050937 |
Johnson, David L.
![]() |
||
London, : Springer, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of logic via numbers and sets / D. L. Johnson |
Autore | Johnson, David L. |
Pubbl/distr/stampa | London, : Springer, 1998 |
Descrizione fisica | X, 174 p. : ill. ; 24 cm |
Soggetto topico |
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020] |
ISBN |
35-407-6123-3
978-35-407-6123-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00050937 |
Johnson, David L.
![]() |
||
London, : Springer, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou |
Autore | Lewis, Harry R. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Upper Saddle River, N.J., : Prentice Hall International, 1998 |
Descrizione fisica | XIII, 361 p. : ill. ; 24 cm. |
Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 01-327-2741-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0052081 |
Lewis, Harry R.
![]() |
||
Upper Saddle River, N.J., : Prentice Hall International, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou |
Autore | Lewis, Harry R. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Upper Saddle River, N.J., : Prentice Hall International, 1998 |
Descrizione fisica | XIII, 361 p. : ill. ; 24 cm |
Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 01-327-2741-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0052081 |
Lewis, Harry R.
![]() |
||
Upper Saddle River, N.J., : Prentice Hall International, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou |
Autore | Lewis, Harry R. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Upper Saddle River, N.J., : Prentice Hall International, 1998 |
Descrizione fisica | XIII, 361 p. : ill. ; 24 cm |
Soggetto topico |
03Bxx - General logic [MSC 2020]
68Qxx - Theory of computing [MSC 2020] |
ISBN | 01-327-2741-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00052081 |
Lewis, Harry R.
![]() |
||
Upper Saddle River, N.J., : Prentice Hall International, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Facets of uncertainties and applications : ICFUA, Kolkata, India, december 2013 / Mihir K. Chakraborty ... [et al.] editors |
Pubbl/distr/stampa | New Delhi, : Springer, 2015 |
Descrizione fisica | XIV, 343 p. : ill. ; 24 cm |
Soggetto topico |
68Uxx - Computing methodologies and applications [MSC 2020]
90Bxx - Operations research and management science [MSC 2020] 93Exx - Stochastic systems and control [MSC 2020] 41-XX - Approximations and expansions [MSC 2020] 03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Applications of uncertainties
Fuzzy and rough sets Hybridization of uncertainties Optimization under uncertainty Uncertainty theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0113998 |
New Delhi, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Facets of uncertainties and applications : ICFUA, Kolkata, India, december 2013 / Mihir K. Chakraborty ... [et al.] editors |
Pubbl/distr/stampa | New Delhi, : Springer, 2015 |
Descrizione fisica | XIV, 343 p. : ill. ; 24 cm |
Soggetto topico |
03Bxx - General logic [MSC 2020]
41-XX - Approximations and expansions [MSC 2020] 68Uxx - Computing methodologies and applications [MSC 2020] 90Bxx - Operations research and management science [MSC 2020] 93Exx - Stochastic systems and control [MSC 2020] |
Soggetto non controllato |
Applications of uncertainties
Fuzzy and rough sets Hybridization of uncertainties Optimization under uncertainty Uncertainty theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00113998 |
New Delhi, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|