LEADER 02804nam  22007695  450 
001 9910585785003321
005 20251225200435.0
010   $a3-031-10769-1
024 7 $a10.1007/978-3-031-10769-6
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(oapen)doab91302
035   $a(DE-He213)978-3-031-10769-6
035   $a(EXLCZ)995850000000051411
100   $a20220716d2022      u|         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 /$fedited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (xv, 756 pages) $cillustrations (some color)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13385
311 1 $a3-031-10768-3 
320   $aIncludes author index.
330   $aThis is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13385
606   $aMachine theory
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputer science
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputer science.
615 14$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a006.333
676   $a006.333
700   $aBlanchette$b Jasmin$4edt$01255151
701   $aBlanchette$b Jasmin$01255151
701   $aKova?cs$b Laura$00
701   $aPattinson$b Dirk$f1970-$01255152
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910585785003321
997   $aUNINA