Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer programming Computer vision Databases Dynamical systems Formal logic Functors Game Theory Image processing Mathematics Matrix algebra Semantical models Semantics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0248772 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer programming Computer vision Databases Dynamical systems Formal logic Functors Game Theory Image processing Mathematics Matrix algebra Semantical models Semantics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00248772 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Software Science and Computation Structures : 23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Jean Goubault-Larrecq, Barbara König editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 644 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Nxx - Theory of software [MSC 2020] |
Soggetto non controllato |
Artificial intellegence
Automata Categorical models and logics Concurrency theory and process calculi Emerging models of computation Formal logic Language theory Linguistics Logical aspects of computational complexity Logical foundations of data bases Logics of programming Mathematics Modal, spatial and temporal logics Models of software security Rewriting theory Semantics of programming languages Software specification and refinement Type theory and proof theory and games |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249173 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Software Science and Computation Structures : 23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Jean Goubault-Larrecq, Barbara König editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 644 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Nxx - Theory of software [MSC 2020] 68Qxx - Theory of computing [MSC 2020] |
Soggetto non controllato |
Artificial intellegence
Automata Categorical models and logics Concurrency theory and process calculi Emerging models of computation Formal logic Language theory Linguistics Logical aspects of computational complexity Logical foundations of data bases Logics of programming Mathematics Modal, spatial and temporal logics Models of software security Rewriting theory Semantics of programming languages Software specification and refinement Type theory and proof theory and games |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00249173 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 287 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249404 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 287 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00249404 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis |
Autore | Csirmaz, Laszlo |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | viii, 319 p. : ill. ; 24 cm |
Altri autori (Persone) | Gyenis, Zalán |
Soggetto topico |
00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
First-order logic
Formal logic Gödel’s theorems Mathematical logic Peano axiom system Predicate calculus Problem Solving Propositional calculus Recursion theory ultraproductS |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0277839 |
Csirmaz, Laszlo
![]() |
||
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis |
Autore | Csirmaz, Laszlo |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | viii, 319 p. : ill. ; 24 cm |
Altri autori (Persone) | Gyenis, Zalán |
Soggetto topico |
00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
First-order logic
Formal logic Gödel’s theorems Mathematical logic Peano axiom system Predicate calculus Problem Solving Propositional calculus Recursion theory Ultraproducts |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00277839 |
Csirmaz, Laszlo
![]() |
||
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|