02804nam 22007695 450 991058578500332120251225200435.03-031-10769-110.1007/978-3-031-10769-6(CKB)5850000000051411(MiAaPQ)EBC7055695(Au-PeEL)EBL7055695(OCoLC)1338199767(oapen)https://directory.doabooks.org/handle/20.500.12854/91302(PPN)263897265(oapen)doab91302(DE-He213)978-3-031-10769-6(EXLCZ)99585000000005141120220716d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (xv, 756 pages) illustrations (some color)Lecture Notes in Artificial Intelligence,2945-9141 ;133853-031-10768-3 Includes author index.This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Lecture Notes in Artificial Intelligence,2945-9141 ;13385Machine theorySoftware engineeringComputer engineeringComputer networksArtificial intelligenceComputer scienceFormal Languages and Automata TheorySoftware EngineeringComputer Engineering and NetworksArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingMachine 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.006.333006.333Blanchette Jasminedt1255151Blanchette Jasmin1255151Kovács Laura0Pattinson Dirk1970-1255152MiAaPQMiAaPQMiAaPQBOOK9910585785003321UNINA