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.
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNINA-9910491025703321 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483156703316 |
|
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585785003321 |
|
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fuzzy sets and systems
| Fuzzy sets and systems |
| Pubbl/distr/stampa | [Amsterdam], : Elsevier Science |
| Soggetto topico |
Fuzzy sets
Fuzzy systems |
| Soggetto genere / forma | Journals - contents and abstracts. |
| Soggetto non controllato |
aggregation operations
non-additive uncertainty theory possibility theory linguistic modelling numerical modeling fuzzy rule-based systems category theory topology data fusion interpolative reasoning non-monotonic reasoning logic programming constraint-di |
| ISSN | 1872-6801 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218132603316 |
| [Amsterdam], : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fuzzy sets and systems
| Fuzzy sets and systems |
| Pubbl/distr/stampa | [Amsterdam], : Elsevier Science |
| Soggetto topico |
Fuzzy sets
Fuzzy systems |
| Soggetto genere / forma | Journals - contents and abstracts. |
| Soggetto non controllato |
aggregation operations
non-additive uncertainty theory possibility theory linguistic modelling numerical modeling fuzzy rule-based systems category theory topology data fusion interpolative reasoning non-monotonic reasoning logic programming constraint-di |
| ISSN | 1872-6801 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145461703321 |
| [Amsterdam], : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||