LEADER 03401nam 22007335 450 001 996465385003316 005 20230329154026.0 010 $a3-642-31612-3 024 7 $a10.1007/978-3-642-31612-8 035 $a(CKB)3400000000085378 035 $a(SSID)ssj0000697633 035 $a(PQKBManifestationID)11438873 035 $a(PQKBTitleCode)TC0000697633 035 $a(PQKBWorkID)10709506 035 $a(PQKB)11618589 035 $a(DE-He213)978-3-642-31612-8 035 $a(MiAaPQ)EBC3071016 035 $a(PPN)168319853 035 $a(EXLCZ)993400000000085378 100 $a20120616d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Applications of Satisfiability Testing -- SAT 2012$b[electronic resource] $e15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings /$fedited by Alessandro Cimatti, Roberto Sebastiani 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XIV, 500 p. 364 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7317 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-31611-5 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7317 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aComputer Science Logic and Foundations of Programming 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aMathematical Applications in Computer Science 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aMathematical Applications in Computer Science. 676 $a005.1/4 702 $aCimatti$b Alessandro$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSebastiani$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465385003316 996 $aTheory and Applications of Satisfiability Testing -- SAT 2012$92829758 997 $aUNISA LEADER 02591nam 22004093a 450 001 9910831880203321 005 20250203235540.0 010 $a9783863092894 010 $a3863092899 035 $a(CKB)4950000000289987 035 $a(ScCtBLL)ea19a5e0-ce12-4809-9aa1-4a997d455ebf 035 $a(EXLCZ)994950000000289987 100 $a20250203i20142021 uu 101 0 $aeng 135 $auru|||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 04$aThe Bible and Children in Africa$fLovemore Togarasei, Joachim Kügler, Solomon Olusola Ademiluka$hVolume 17 210 1$a[s.l.] :$cBamberg University Press,$d2014. 215 $a1 online resource (1 p.) 225 1 $aBible in Africa Studies 330 $aThe relationship between the Bible and Children in Africa is a topic of highest relevance. This book is treating it in two main perspectives which often are intertwined: ' The exegetical perspective "Children in the Bible" is dealing with the concepts of childhood in biblical texts, asking for example: How are children conceived in different texts. What is their status in family, society and church? What is their relation to God? What is the metaphoric use of childhood in biblical soteriology? What is the function and meaning of calling adult persons "children" (of God, or of the Apostle)? ' The contextual perspective "African children of today and the Bible" is dealing with the different life settings African children find themselves in and how the Bible is present in these life settings. Here the questions for example are: What is the status of children in family and society? How are traditional concepts of childhood changing under the conditions of poverty, HIV/AIDS and violence? How are the ideas and ideals of childhood influenced by the Bible? What is the role of the Bible in child-education? Can children's rights be established with help of the Bible? This volume of BiAS 17 is collecting the papers presented at the 2012 BiAS meeting in Gaborone, Botswana, with some additional contributions. 410 $aBible in Africa Studies 606 $aSocial Science / Sociology of Religion$2bisacsh 606 $aSocial sciences 615 7$aSocial Science / Sociology of Religion 615 0$aSocial sciences. 700 $aTogarasei$b Lovemore$01765079 702 $aKügler$b Joachim 702 $aAdemiluka$b Solomon Olusola 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910831880203321 996 $aThe Bible and Children in Africa$94318481 997 $aUNINA