Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / / edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Blanchette Jasmin
|
| Titolo: | Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / / edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Edizione: | 1st ed. 2022. |
| Descrizione fisica: | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina: | 006.333 |
| Soggetto topico: | Machine theory |
| Software engineering | |
| Computer engineering | |
| Computer networks | |
| Artificial intelligence | |
| Computer science | |
| Formal Languages and Automata Theory | |
| Software Engineering | |
| Computer Engineering and Networks | |
| Artificial Intelligence | |
| Computer Science Logic and Foundations of Programming | |
| Altri autori: |
BlanchetteJasmin
KovácsLaura
PattinsonDirk <1970->
|
| Nota di bibliografia: | Includes author index. |
| Sommario/riassunto: | This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
| ISBN: | 3-031-10769-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910585785003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 13385