LEADER 01701nam 2200397 n 450 001 996391361803316 005 20200824121638.0 035 $a(CKB)4940000000104800 035 $a(EEBO)2264202364 035 $a(UnM)99852519e 035 $a(UnM)99852519 035 $a(EXLCZ)994940000000104800 100 $a19920504d1637 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 04$aThe Christians portion$b[electronic resource] $eWherein is unfolded the unsearchable riches he hath by his interest in Christ. Whom injoying hee possesseth all things else. By R. Sibbs D.D. and preacher to the honorable society of Grayes-Inne, and master of Catherine Hall in Cambridge. Published by T.G. and P.N 210 $aLondon $cPrinted by John Norton for John Rothvvell, and are to be sold at the Sunne in Pauls Church-yard$d1637 215 $a[2], 23, 23-67, [2] p 300 $aT.G. and P.N. = Thomas Goodwin and Philip Nye. 300 $aWith a final imprimatur leaf. 300 $aReproduction of the original in the Union Theological Seminary (New York, N.Y.). Library. 300 $aSome print show-through. Pages 19-20 torn. Beginning to page 26 from Princeton Theological Seminary. Library copy spliced at end. 330 $aeebo-0160 606 $aChristian life$vEarly works to 1800 615 0$aChristian life 700 $aSibbes$b Richard$f1577-1635.$01001657 701 $aGoodwin$b Thomas$f1600-1680.$01001156 701 $aNye$b Philip$f1596?-1672.$01001460 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996391361803316 996 $aThe Christians portion$92301936 997 $aUNISA LEADER 01056nam a22002775i 4500 001 991002146079707536 007 cr nn 008mamaa 008 121227s1979 gw | s |||| 0|eng d 020 $a9783540351979 035 $ab14128482-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a510$223 100 1 $aFerrante, Jeanne$046752 245 14$aThe computational complexity of logical theories$h[e-book] /$cby Jeanne Ferrante, Charles W. Rackoff 260 $aBerlin :$bSpringer,$c1979 300 $a1 online resource (243 p.) 440 0$aLecture Notes in Mathematics,$x0075-8434 ;$v718 650 0$aMathematics 700 1 $aRackoff, Charles W. 773 0 $aSpringer eBooks 856 40$uhttp://dx.doi.org/10.1007/BFb0062837$zAn electronic book accessible through the World Wide Web 907 $a.b14128482$b03-03-22$c05-09-13 912 $a991002146079707536 996 $aComputational complexity of logical theories$9262975 997 $aUNISALENTO 998 $ale013$b05-09-13$cm$d@ $e-$feng$ggw $h4$i0 LEADER 03449nam 22005535 450 001 9910349278003321 005 20251225200437.0 010 $a3-030-31978-4 024 7 $a10.1007/978-3-030-31978-6 035 $a(CKB)4100000009382518 035 $a(DE-He213)978-3-030-31978-6 035 $a(MiAaPQ)EBC5923397 035 $a(PPN)258060131 035 $a(EXLCZ)994100000009382518 100 $a20190924d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArtificial Intelligence $e30th Benelux Conference, BNAIC 2018, ?s-Hertogenbosch, The Netherlands, November 8?9, 2018, Revised Selected Papers /$fedited by Martin Atzmueller, Wouter Duivesteijn 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (X, 167 p. 64 illus., 46 illus. in color.) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1021 311 08$a3-030-31977-6 320 $aIncludes bibliographical references and index. 327 $aEarly Detection of Sepsis Induced Deterioration Using Machine Learning -- Deriving Formulas for Integer Sequences Using Inductive Programming -- All or In-cloud: How the Identi?cation of Six Types of Anomalies is A?ected by the Discretization Method -- Topic Modeling for Exploring Cancer-Related Coverage in Journalistic Texts -- Model Selection for Multi-Directional Ensemble of Regression and Classi?cation Trees -- Finding dissimilar explanations in Bayesian networks: Complexity results -- Beyond Local Nash Equilibria for Adversarial Networks -- Deep Multi-Agent Reinforcement Learning in a Homogeneous Open Population -- Computing and Predicting Winning Hands in the Trick-Taking Game of Klaverjas -- Style transfer of abstract drum patterns using a light-weight hierarchical autoencoder -- Assessing the Potential of Classical Q-learning in General Game Playing -- Visual Rationalizations in Deep Reinforcement Learning for Atari Games. 330 $aThis book contains a selection of the best papers of the 30th Benelux Conference on Artificial Intelligence, BNAIC 2018, held in ?s-Hertogenbosch, The Netherlands, in November 2018. The 9 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 31 submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1021 606 $aArtificial intelligence 606 $aData mining 606 $aArtificial Intelligence 606 $aData Mining and Knowledge Discovery 615 0$aArtificial intelligence. 615 0$aData mining. 615 14$aArtificial Intelligence. 615 24$aData Mining and Knowledge Discovery. 676 $a006.3 676 $a006.3 702 $aAtzmueller$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDuivesteijn$b Wouter$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349278003321 996 $aArtificial intelligence$9104454 997 $aUNINA