LEADER 03430nam  22006735  450 
001 996465476903316
005 20200630033226.0
010   $a3-642-22438-5
024 7 $a10.1007/978-3-642-22438-6
035   $a(CKB)2670000000099849
035   $a(SSID)ssj0000530760
035   $a(PQKBManifestationID)11344125
035   $a(PQKBTitleCode)TC0000530760
035   $a(PQKBWorkID)10569616
035   $a(PQKB)11757654
035   $a(DE-He213)978-3-642-22438-6
035   $a(MiAaPQ)EBC3067023
035   $a(PPN)156311933
035   $a(EXLCZ)992670000000099849
100   $a20110719d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction -- CADE-23$b[electronic resource] $e23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 -- August 5, 2011, Proceedings /$fedited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 508 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6803
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22437-7 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc?aw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
410  0$aLecture Notes in Artificial Intelligence ;$v6803
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer logic
606   $aSoftware engineering
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aSoftware engineering.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
676   $a006.3
702   $aBjørner$b Nikolaj$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSofronie-Stokkermans$b Viorica$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Automated Deduction
906   $aBOOK
912   $a996465476903316
996   $aAutomated Deduction -- CADE-23$92830396
997   $aUNISA