LEADER 05113nam 22007455 450 001 996465782403316 005 20200703173149.0 010 $a3-540-31881-X 010 $a3-540-27891-5 024 7 $a10.1007/978-3-540-31881-1 035 $a(CKB)1000000000213145 035 $a(SSID)ssj0000323210 035 $a(PQKBManifestationID)11272571 035 $a(PQKBTitleCode)TC0000323210 035 $a(PQKBWorkID)10299382 035 $a(PQKB)10506551 035 $a(DE-He213)978-3-540-31881-1 035 $a(MiAaPQ)EBC3067531 035 $a(PPN)149015364 035 $a(EXLCZ)991000000000213145 100 $a20100928d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Concept Analysis$b[electronic resource] $eFoundations and Applications /$fedited by Bernhard Ganter, Gerd Stumme, Rudolf Wille 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 349 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3626 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540278917 320 $aIncludes bibliographical references and index. 327 $aFoundations -- Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies -- Semiconcept and Protoconcept Algebras: The Basic Theorems -- Features of Interaction Between Formal Concept Analysis and Algebraic Geometry -- From Formal Concept Analysis to Contextual Logic -- Contextual Attribute Logic of Many-Valued Attributes -- Treating Incomplete Knowledge in Formal Concept Analysis -- States, Transitions, and Life Tracks in Temporal Concept Analysis -- Applications -- Linguistic Applications of Formal Concept Analysis -- Using Concept Lattices for Text Retrieval and Mining -- Efficient Mining of Association Rules Based on Formal Concept Analysis -- Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research -- Conceptual Knowledge Processing in the Field of Economics -- Software Engineering -- A Survey of Formal Concept Analysis Support for Software Engineering Activities -- Concept Lattices in Software Analysis -- Formal Concept Analysis Used for Software Analysis and Modelling -- Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development -- The ToscanaJ Suite for Implementing Conceptual Information Systems. 330 $aFormal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. The formal concept analysis approach has been proven successful in a wide range of application fields. This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering. 410 0$aLecture Notes in Artificial Intelligence ;$v3626 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aInformation storage and retrieval 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aInformation storage and retrieval. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aInformation Storage and Retrieval. 676 $a511.3/3 702 $aGanter$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStumme$b Gerd$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWille$b Rudolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465782403316 996 $aFormal Concept Analysis$9772457 997 $aUNISA LEADER 01611nam 2200397Ia 450 001 996387188403316 005 20200824132826.0 035 $a(CKB)4940000000085473 035 $a(EEBO)2240878736 035 $a(OCoLC)ocm36282368e 035 $a(OCoLC)36282368 035 $a(EXLCZ)994940000000085473 100 $a19970128d1652 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aSome stop to the gangrene of Arminianism lately promoted by M. John Goodwin in his book entituled, Redemption redeemed, or, The doctrine of election & reprobation$b[electronic resource] $ein six sermons, opened and cleared from the old Pelagian and late Arminian errors /$fby Richard Resburie .. 205 $aThe second edition newly corrected and amended. 210 $aLondon $cPrinted for John Wright ...$d1652 215 $a[8], 128 p 300 $aErrata on p. [1] at end. 300 $aReproduction of original in the William Andrews Clark Memorial Library, University of California, Los Angeles. 330 $aeebo-0189 606 $aReprobation 606 $aRedemption 606 $aSermons, English$y17th century 606 $aArminianism 615 0$aReprobation. 615 0$aRedemption. 615 0$aSermons, English 615 0$aArminianism. 700 $aResbury$b Richard$f1607-1674.$01008962 801 2$bWaOLN 906 $aBOOK 912 $a996387188403316 996 $aSome stop to the gangrene of Arminianism lately promoted by M. John Goodwin in his book entituled, Redemption redeemed, or, The doctrine of election & reprobation$92415076 997 $aUNISA