LEADER 03197nam  22007215  450 
001 9910869155103321
005 20241120175033.0
010   $a9783031634987
010   $a3031634985
024 7 $a10.1007/978-3-031-63498-7
035   $a(CKB)32674693200041
035   $a(DE-He213)978-3-031-63498-7
035   $a(MiAaPQ)EBC31520050
035   $a(Au-PeEL)EBL31520050
035   $a(EXLCZ)9932674693200041
100   $a20240701d2024      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Reasoning $e12th International Joint Conference, IJCAR 2024, Nancy, France, July 3?6, 2024, Proceedings, Part I /$fedited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (XVI, 482 p. 89 illus., 42 illus. in color.) 
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14739
311 08$a9783031634970 
311 08$a3031634977 
330   $aThis two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access. .
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14739
606   $aMachine theory
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
606   $aComputer Science Logic and Foundations of Programming
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615 14$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.131
702   $aBenzmüller$b Christoph$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHeule$b Marijn J.H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchmidt$b Renate A$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910869155103321
996   $aAutomated Reasoning$9771895
997   $aUNINA