top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui