LEADER 02726nam 22006133 450 001 9910585785003321 005 20241204120512.0 010 $a3-031-10769-1 035 $a(CKB)5850000000051411 035 $a(MiAaPQ)EBC7055695 035 $a(Au-PeEL)EBL7055695 035 $a(OCoLC)1338199767 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/91302 035 $a(PPN)263897265 035 $a(EXLCZ)995850000000051411 100 $a20220919d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated reasoning $e11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /$feditors, Jasmin Blanchette, Laura Kova?cs, Dirk Pattinson 210 $aCham$cSpringer Nature$d2022 210 1$aCham :$cSpringer International Publishing AG,$d2022. 210 4$dŠ2022. 215 $a1 online resource (xv, 756 pages) $cillustrations (some color) 225 1 $aLecture notes in computer science$vv.13385 311 1 $a3-031-10768-3 320 $aIncludes author index. 330 $aThis 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. 410 0$aLecture notes in computer science$v13385. 606 $aAutomatic theorem proving$vCongresses 606 $aComputer logic$vCongresses 606 $aDemostraciķ automātica de teoremes$2thub 606 $aLōgica informātica$2thub 608 $aCongressos$2thub 608 $aLlibres electrōnics$2thub 615 0$aAutomatic theorem proving 615 0$aComputer logic 615 7$aDemostraciķ automātica de teoremes. 615 7$aLōgica informātica 676 $a006.333 676 $a006.333 700 $aBlanchette$b Jasmin$4edt$01255151 701 $aBlanchette$b Jasmin$01255151 701 $aKovács$b Laura$01250003 701 $aPattinson$b Dirk$f1970-$01255152 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910585785003321 996 $aAutomated reasoning$92910267 997 $aUNINA