| spelling |
oapen-20.500.12657-579272022-08-18T03:07:33Z 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 bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development 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-17T20:14:28Z 2022-08-17T20:14:28Z 2022 book ONIX_20220817_9783031107696_22 9783031107696 https://library.oapen.org/handle/20.500.12657/57927 eng Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence application/pdf n/a 978-3-031-10769-6.pdf https://link.springer.com/978-3-031-10769-6 Springer Nature Springer 10.1007/978-3-031-10769-6 10.1007/978-3-031-10769-6 6c6992af-b843-4f46-859c-f6e9998e40d5 c3681f62-f216-4637-b829-e4ae75470db5 9783031107696 Springer 13385 756 Cham [...] open access
|
| 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.
|
