Applied Physics, System Science and Computers III : Proceedings of the 3rd International Conference on Applied Physics, System Science and Computers (APSAC2018), September 26-28, 2018, Dubrovnik, Croatia / Klimis Ntalianis … [et al.] editors] |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
Descrizione fisica | xi, 356 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 00A79 (77-XX) - Physics [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
Soggetto non controllato |
3d Technology
Approximation of Scattered Data Automatic Classification Cloud Computing Security Composition of Cosmic Rays Convolutional Neural Networks Doppler effect Game Engine Applications Maximum Permutation Code Problem Mixed Integer Nonlinear Problem Monitoring of Blockchain Networks P2p networks Position Determination Production Planning Problem Quad GPU Quantum Logic RBF Approximation Relational Galois Connection Social Attention Spam Detection |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0214533 |
Cham, : Springer, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Applied Physics, System Science and Computers III : Proceedings of the 3rd International Conference on Applied Physics, System Science and Computers (APSAC2018), September 26-28, 2018, Dubrovnik, Croatia / Klimis Ntalianis … [et al.] editors] |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
Descrizione fisica | xi, 356 p. : ill. ; 24 cm |
Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 68-XX - Computer science [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
Soggetto non controllato |
3d Technology
Approximation of Scattered Data Automatic Classification Cloud Computing Security Composition of Cosmic Rays Convolutional Neural Networks Doppler effect Game Engine Applications Maximum Permutation Code Problem Mixed Integer Nonlinear Problem Monitoring of Blockchain Networks P2p networks Position Determination Production Planning Problem Quad GPU Quantum Logic RBF Approximation Relational Galois Connection Social Attention Spam Detection |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00214533 |
Cham, : Springer, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite and Profinite Quantum Systems / Apostolos Vourdas |
Autore | Vourdas, Apostolos |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xiii, 196 p. : ill. ; 24 cm |
Soggetto topico |
81-XX - Quantum theory [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] 81V80 - Quantum optics [MSC 2020] 97N70 - Discrete mathematics (educational aspects) [MSC 2020] 81Pxx - Foundations, quantum information and its processing, quantum axioms, and philosophy [MSC 2020] |
Soggetto non controllato |
Finite quantum systems
Galois fields Heisenberg-Weyl group Mutually Unbiased Bases Profinite groups Quantum Logic Symplectic Groups |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0187509 |
Vourdas, Apostolos
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite and Profinite Quantum Systems / Apostolos Vourdas |
Autore | Vourdas, Apostolos |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xiii, 196 p. : ill. ; 24 cm |
Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
81-XX - Quantum theory [MSC 2020] 81Pxx - Foundations, quantum information and its processing, quantum axioms, and philosophy [MSC 2020] 81V80 - Quantum optics [MSC 2020] 97N70 - Discrete mathematics (educational aspects) [MSC 2020] |
Soggetto non controllato |
Finite quantum systems
Galois fields Heisenberg-Weyl group Mutually Unbiased Bases Profinite groups Quantum Logic Symplectic Groups |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00187509 |
Vourdas, Apostolos
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | x, 274 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Decidability
Diophantine Equations Foundations of mathematics Hilary Putnam Mathematical logic Modal Logic Model theory Number theory Quantum Logic Structuralism |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124755 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | x, 274 p. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
Soggetto non controllato |
Decidability
Diophantine Equations Foundations of mathematics Hilary Putnam Mathematical logic Modal Logic Model theory Number theory Quantum Logic Structuralism |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00124755 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
New directions in paraconsistent logic : 5. WCP, Kolkata, India, february 2014 / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta editors |
Pubbl/distr/stampa | New Delhi, : Springer, 2015 |
Descrizione fisica | XI, 552 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] |
Soggetto non controllato |
Contradictions
Fuzzy Logic Many-valued Logic Modal Logic Negation Paracomplete Logic Paraconsistent Logic Quantum Logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114021 |
New Delhi, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
New directions in paraconsistent logic : 5. WCP, Kolkata, India, february 2014 / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta editors |
Pubbl/distr/stampa | New Delhi, : Springer, 2015 |
Descrizione fisica | XI, 552 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] |
Soggetto non controllato |
Contradictions
Fuzzy Logic Many-valued Logic Modal Logic Negation Paracomplete Logic Paraconsistent Logic Quantum Logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00114021 |
New Delhi, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Non-commutative multiple-valued logic algebras / Lavinia Corina Ciungu |
Autore | Ciungu, Lavinia Corina |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | XIV, 276 p. ; 24 cm |
Soggetto topico |
06D35 - MV-algebras [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 03G10 - Logical aspects of lattices and related structures [MSC 2020] 06F05 - Ordered semigroups and monoids [MSC 2020] |
Soggetto non controllato |
BCI-Algebras
BCK-Algebras Congruence Relations Fuzzy Logic Fuzzy Measure Theory Lattices and Duality Lattices and Related Structures MV-algebras Many-valued Logic Ordered Abelian Groups Quantum Logic Subalgebras Subdirect Irreducibility Subdirect Products |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0103188 |
Ciungu, Lavinia Corina
![]() |
||
Cham, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Non-commutative multiple-valued logic algebras / Lavinia Corina Ciungu |
Autore | Ciungu, Lavinia Corina |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | XIV, 276 p. ; 24 cm |
Soggetto topico |
03G10 - Logical aspects of lattices and related structures [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 06D35 - MV-algebras [MSC 2020] 06F05 - Ordered semigroups and monoids [MSC 2020] |
Soggetto non controllato |
BCI-Algebras
BCK-Algebras Congruence Relations Fuzzy Logic Fuzzy Measure Theory Lattices and Duality Lattices and Related Structures MV-algebras Many-valued Logic Ordered Abelian Groups Quantum Logic Subalgebras Subdirect Irreducibility Subdirect Products |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00103188 |
Ciungu, Lavinia Corina
![]() |
||
Cham, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|