LEADER 03905nam  22007335  450 
001 996465958103316
005 20220329175614.0
010   $a3-642-28472-8
024 7 $a10.1007/978-3-642-28472-4
035   $a(CKB)3360000000365900
035   $a(SSID)ssj0000666103
035   $a(PQKBManifestationID)11432173
035   $a(PQKBTitleCode)TC0000666103
035   $a(PQKBWorkID)10664029
035   $a(PQKB)10261961
035   $a(DE-He213)978-3-642-28472-4
035   $a(MiAaPQ)EBC3070315
035   $a(PPN)168312077
035   $a(EXLCZ)993360000000365900
100   $a20120302d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Information and Knowledge Systems$b[electronic resource] $e7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings /$fedited by Thomas Lukasiewicz, Attila Sali
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 405 p.)
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v7153
300   $aInternational conference proceedings.
311   $a3-642-28471-X 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v7153
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aComputer logic
606   $aAlgorithms
606   $aArtificial intelligence
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   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aComputer logic.
615  0$aAlgorithms.
615  0$aArtificial intelligence.
615 14$aMathematical Logic and Formal Languages.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aLogics and Meanings of Programs.
615 24$aMathematics of Computing.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aArtificial Intelligence.
676   $a005.131
702   $aLukasiewicz$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSali$b Attila$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465958103316
996   $aFoundations of Information and Knowledge Systems$9774287
997   $aUNISA