LEADER 03674nam  22007575  450 
001 996466013903316
005 20200630195014.0
010   $a3-642-24364-9
024 7 $a10.1007/978-3-642-24364-6
035   $a(CKB)2550000000052683
035   $a(SSID)ssj0000609774
035   $a(PQKBManifestationID)11423363
035   $a(PQKBTitleCode)TC0000609774
035   $a(PQKBWorkID)10619832
035   $a(PQKB)11024138
035   $a(DE-He213)978-3-642-24364-6
035   $a(MiAaPQ)EBC3067367
035   $a(PPN)156309610
035   $a(EXLCZ)992550000000052683
100   $a20110929d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFrontiers of Combining Systems$b[electronic resource] $e8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /$fedited by Cesare Tinelli, Viorica Sofronie-Stokkermans
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 275 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6989
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24363-0 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.
410  0$aLecture Notes in Artificial Intelligence ;$v6989
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer logic
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aProgramming Techniques.
676   $a006.3
702   $aTinelli$b Cesare$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSofronie-Stokkermans$b Viorica$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466013903316
996   $aFrontiers of Combining Systems$9772665
997   $aUNISA