LEADER 00898nam0-2200337---450-
001 990000365230203316
010   $a88-7890-383-3
035   $a0036523
035   $aUSA010036523
035   $a(ALEPH)000036523USA01
035   $a0036523
100   $a20010319d2000----km-y0itay0103----ba
101   $aita
102   $aIT
105   $a||||||||001yy
200 1 $aVani e infissi$fRenata Bizzotto
210   $a[Roma]$cKappa$dcopyr. 2000
215   $a143 p.$d30 cm
606 0 $aSerramenti
676   $a690.182
700  1$aBIZZOTTO,$bRenata$011865
801  0$aIT$bsalbc$gISBD
912   $a990000365230203316
951   $a690.182 BIZ$b15973 Ing.$c690.182$d00071111
959   $aBK
969   $aTEC
979   $aTAMI$b40$c20010319$lUSA01$h1228
979   $c20020403$lUSA01$h1644
979   $aPATRY$b90$c20040406$lUSA01$h1625
996   $aVani e infissi$9118067
997   $aUNISA

LEADER 03197nam  22007215  450 
001 9910869155103321
005 20251225194928.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   $aBenzmu?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