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.
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03B16 - Higher-order logic [MSC 2020]
03B38 - Type theory [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Edizione | [[Cham] : Birkhäuser : Springer, 2016] |
| Pubbl/distr/stampa | XIV, 276 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0114602 |
| XIV, 276 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Features and fluents : the representation of knowledge about dynamical systems 1. / Erik Sandewall
| Features and fluents : the representation of knowledge about dynamical systems 1. / Erik Sandewall |
| Autore | Sandewall, Erik |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1994 |
| Descrizione fisica | xvii, 328 p. : ill. ; 24 cm. |
| Soggetto topico |
68T30 - Knowledge representation [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] |
| ISBN | 01-985384-5-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0063393 |
Sandewall, Erik
|
||
| Oxford, : Clarendon, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68M25 - Computer security [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
| Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
| Autore | Schagrin, Morton L. |
| Pubbl/distr/stampa | Milano, : McGraw-Hill Libri, 1986 |
| Descrizione fisica | 379 p. ; 21 cm |
| Altri autori (Persone) |
Dipert, Randall R.
Rapaport, William J. |
| Soggetto topico |
68N17 - Logic programming [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
| ISBN | 978-88-386-0605-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0051440 |
|
Schagrin, Morton L.
|
||
| Milano, : McGraw-Hill Libri, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
| Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
| Autore | Schagrin, Morton L. |
| Pubbl/distr/stampa | Milano, : McGraw-Hill Libri, 1986 |
| Descrizione fisica | 379 p. ; 21 cm |
| Altri autori (Persone) |
Dipert, Randall R.
Rapaport, William J. |
| Soggetto topico |
03B70 - Logic in computer science [MSC 2020]
68N17 - Logic programming [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
| ISBN | 978-88-386-0605-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00051440 |
|
Schagrin, Morton L.
|
||
| Milano, : McGraw-Hill Libri, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
| Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
| Autore | Schagrin, Morton L. |
| Edizione | [Milano : McGraw-Hill Libri, 1986] |
| Descrizione fisica | Tit. orig.: Logic : a Computer Approach. |
| Altri autori (Persone) |
Rapaport, William J.
Dipert, Randall R. |
| Soggetto topico |
68N17 - Logic programming [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
| ISBN | 978-88-386-0605-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0051440 |
|
Schagrin, Morton L.
|
||
| 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 | ||
| ||
Soggetto topico
-
03B70 - Logic in computer science [MSC 2020]
(24)
- 03-XX - Mathematical logic and foundations [MSC 2020] (9)
- 68-XX - Computer science [MSC 2020] (7)
- 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] (4)
- 68Q55 - Semantics in the theory of computing [MSC 2020] (4)