LEADER 01016nam0-22003251i-450 001 990004662540403321 005 20251126101757.0 035 $a000466254 035 $aFED01000466254 035 $a(Aleph)000466254FED01 035 $a000466254 100 $a19990604d1970----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $ay-------001yy 200 1 $aIntroduction à la theologie musulmane$eessai de theologie comparee$fLouis Gardet, M.-M. Anawati$gpreface de M. Louis Massignon 205 $a2e éd. 210 $aParis$cJ. Vrin$d1970 215 $aVIII, 540 p.$d23 cm 225 1 $aÉtudes de philosophie médiévale$v37 700 1$aGardet,$bLouis$f<1904-1986>$0158943 701 1$aAnawati,$bM.M.$0390423 702 1$aMassignon,$bLouis$f<1883-1962> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004662540403321 952 $a199.43 GARL 02$bST.FIL.3215$fFLFBC 959 $aFLFBC 996 $aIntroduction à la theologie musulmane$9549797 997 $aUNINA LEADER 05983nam 22008295 450 001 9910143638703321 005 20251116234013.0 010 $a3-540-46564-2 024 7 $a10.1007/3-540-46564-2 035 $a(CKB)1000000000211207 035 $a(SSID)ssj0000323263 035 $a(PQKBManifestationID)11242981 035 $a(PQKBTitleCode)TC0000323263 035 $a(PQKBWorkID)10299386 035 $a(PQKB)11141936 035 $a(DE-He213)978-3-540-46564-5 035 $a(MiAaPQ)EBC3072124 035 $a(PPN)155175564 035 $a(BIP)6417732 035 $a(EXLCZ)991000000000211207 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Information and Knowledge Systems $eFirst International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings /$fedited by Klaus-Dieter Schewe, Bernhard Thalheim 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 306 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1762 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-67100-5 320 $aIncludes bibliographical references and index. 327 $aLow Discrepancy Allocation of Two-Dimensional Data -- A Family of Nested Query Languages for Semi-structured Data -- Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints -- Imprecision and User Preferences in Multimedia Queries: A Generic Algebraic Approach -- Maximal Expansions of Database Updates -- Error-Correcting Keys in Relational Databases -- Extension of the Relational Algebra to Probabilistic Complex Values -- Persistent Turing Machines as a Model of Interactive Computation -- On Interactions of Cardinality Constraints, Key, and Functional Dependencies -- Capturing LOGSPACE over Hereditarily-Finite Sets -- Non-situation Calculus and Database Systems -- Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance -- Making Decision Trees More Accurate by Losing Information -- High-Level Logic Programming -- Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases -- Partial Evaluations in a Set-Theoretic Query Language for the WWW -- Minimum Matrix Representation of Some Key System -- Reflective Relational Machines Working on Homogeneous Databases. 330 $aThis volume contains the papers presented at the \First International Sym- sium on Foundations of Information and Knowledge Systems" (FoIKS 2000), which was held in Burg, Germany from February 14th to 17th, 2000. FoIKSis intendedto beabiannualeventfocussingontheoreticalfoundations ofinformationandknowledgesystems.Itaims to takeupthe oldtraditionofthe conferenceseries \MathematicalFundamentals ofDatabaseSystems" (MFDBS) which encouraged East-West collaboration in the e ld of database theory. F- mer MFDBS conferences were held in Dresden in 1987 (Springer LNCS 305, edited by Joachim Biskup, J anos Demetrovics, Jan Paredaens, and Bernhard Thalheim), in Visegr ad in 1989 (Springer LNCS 364, edited by J anos Demet- vics and Bernhard Thalheim), and in Rostock in 1991 (Springer LNCS 495, edited by Bernhard Thalheim, Jan os Demetrovics, and Hans-Detlef Gerhard). Another goal of the MFDBS conference series has always been to attract researchers working in mathematical e lds such as discrete mathematics, c- binatorics, logics, and nite model theory who are interested in applying their theories to researchon databaseand knowledgebase theory. To that end, FoIKS takes up the tradition of providing a forum for mathematical foundations in a speci c branch of computer science. A r st attempt to reestablish the MFDBS tradition was made in 1995 with a follow-up workshop \Semantics in Datab- es" to ICDT (Springer LNCS 1358, edited by Bernhard Thalheim and Leonid Libkin). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1762 606 $aComputer engineering 606 $aComputers 606 $aDatabase management 606 $aInformation storage and retrieval 606 $aApplication software 606 $aArtificial intelligence 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer engineering. 615 0$aComputers. 615 0$aDatabase management. 615 0$aInformation storage and retrieval. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 14$aComputer Engineering. 615 24$aTheory of Computation. 615 24$aDatabase Management. 615 24$aInformation Storage and Retrieval. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aArtificial Intelligence. 676 $a004 702 $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThalheim$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFoIKS 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143638703321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA