Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and sel...
Gorde:
| Formatua: | Online |
|---|---|
| Hizkuntza: | ingelesa |
| Argitaratua: |
Springer Nature
2022
|
| Gaiak: | |
| Sarrera elektronikoa: | ONIX_20220817_9783031107696_22 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| _version_ | 1869527097202966528 |
|---|---|
| collection | Directory of Open Access Books |
| description | This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book. |
| format | Online |
| id | doab-20.500.12854ir-91302 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2022 |
| publishDateRange | 2022 |
| publishDateSort | 2022 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-913022025-08-13T13:41:57Z Automated Reasoning Blanchette, Jasmin Kovács, Laura Pattinson, Dirk 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 thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book. 2022-08-18T04:02:42Z 2022-08-18T04:02:42Z 2022-08-17T20:14:28Z 2022 book ONIX_20220817_9783031107696_22 OCN: 1338199767 https://library.oapen.org/handle/20.500.12657/57927 9783031107696 https://directory.doabooks.org/handle/20.500.12854/91302 eng Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence open access image/jpeg image/jpeg image/jpeg n/a n/a n/a https://library.oapen.org/bitstream/20.500.12657/57927/1/978-3-031-10769-6.pdf https://library.oapen.org/bitstream/20.500.12657/57927/1/978-3-031-10769-6.pdf https://library.oapen.org/bitstream/20.500.12657/57927/1/978-3-031-10769-6.pdf Springer Nature Springer 10.1007/978-3-031-10769-6 10.1007/978-3-031-10769-6 9fa3421d-f917-4153-b9ab-fc337c396b5a c3681f62-f216-4637-b829-e4ae75470db5 9783031107696 Springer 756 Cham [...] open access |
| spellingShingle | 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 thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering Automated Reasoning |
| title | Automated Reasoning |
| title_full | Automated Reasoning |
| title_fullStr | Automated Reasoning |
| title_full_unstemmed | Automated Reasoning |
| title_short | Automated Reasoning |
| title_sort | automated reasoning |
| topic | 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 thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering |
| topic_facet | 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 thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering |
| url | ONIX_20220817_9783031107696_22 |