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.
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.]
| Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | xvi, 178 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124953 |
| xvi, 178 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / Andrzej Indrzejczak
| Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / Andrzej Indrzejczak |
| Autore | Indrzejczak, Andrzej |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2021 |
| Descrizione fisica | xvi, 345 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B70 - Logic in computer science [MSC 2020] |
| Soggetto non controllato |
Cut-Elimination
Decidability Hypersequent calculus Interpolation Modal logics Non-classical logics Propositional logics Sequent Calculus |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274475 |
Indrzejczak, Andrzej
|
||
| Cham, : Birkhäuser, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
| The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna |
| Autore | Bradley, Aaron R. |
| Pubbl/distr/stampa | Berlin, : Springer, 2007 |
| Descrizione fisica | XV, 366 p. : ill. ; 25 cm |
| Altri autori (Persone) | Manna, Zohar |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithm Analysis
Algorithms Artificial Intelligence Computer Data structure Formal method Learning Logic Problem complexity Verification |
| ISBN | 978-35-407-4112-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250684 |
|
Bradley, Aaron R.
|
||
| Berlin, : Springer, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
| Descrizione fisica | XIX, 601 p. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T30 - Knowledge representation [MSC 2020] 68T35 - Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| ISBN | 978-05-218-7625-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0062411 |
| Cambridge, : Cambridge university, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
| The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
| Descrizione fisica | XIX, 601 p. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T30 - Knowledge representation [MSC 2020] 68T35 - Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| ISBN | 978-05-218-7625-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0062411 |
| Cambridge, : Cambridge university, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
