Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Closure Spaces and Logic / by Norman M. Martin and Stephen Pollard
| Closure Spaces and Logic / by Norman M. Martin and Stephen Pollard |
| Autore | Martin, Norman M. |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1996 |
| Descrizione fisica | xvi, 230 p. ; 24 cm |
| Altri autori (Persone) | Pollard, Stephen |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] |
| Soggetto non controllato |
Division
Formal logic Homeomorphisms Logic Symbolic logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296559 |
Martin, Norman M.
|
||
| Dordrecht, : Springer, : Kluwer, 1996 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 Database 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 Intelligence
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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
George Boole : Selected Manuscripts on Logic and its Philosophy / Editors: Ivor Grattan-Guinness, Gérard Bornet
| George Boole : Selected Manuscripts on Logic and its Philosophy / Editors: Ivor Grattan-Guinness, Gérard Bornet |
| Pubbl/distr/stampa | Basel, : Springer, : Birkhäuser, 1997 |
| Descrizione fisica | lxiv, 236 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01-XX - History and biography [MSC 2020] 01A55 - History of mathematics in the 19th century [MSC 2020] 01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Algebra
Arithmetics Calculus Finite Formal logic Geometry Logic Mathematics Philosophy of logic Philosophy of mathematics Proposition Science Syllogism Symbolic logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297212 |
| Basel, : Springer, : Birkhäuser, 1997 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis
| 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 incompleteness theorem 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||