03674nam 22007575 450 99646601390331620200630195014.03-642-24364-910.1007/978-3-642-24364-6(CKB)2550000000052683(SSID)ssj0000609774(PQKBManifestationID)11423363(PQKBTitleCode)TC0000609774(PQKBWorkID)10619832(PQKB)11024138(DE-He213)978-3-642-24364-6(MiAaPQ)EBC3067367(PPN)156309610(EXLCZ)99255000000005268320110929d2011 u| 0engurnn|008mamaatxtccrFrontiers of Combining Systems[electronic resource] 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /edited by Cesare Tinelli, Viorica Sofronie-Stokkermans1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (VIII, 275 p.) Lecture Notes in Artificial Intelligence ;6989Bibliographic Level Mode of Issuance: Monograph3-642-24363-0 Includes bibliographical references and index.This 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.Lecture Notes in Artificial Intelligence ;6989Artificial intelligenceMathematical logicComputer logicSoftware engineeringAlgorithmsComputer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Mathematical logic.Computer logic.Software engineering.Algorithms.Computer programming.Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Software Engineering.Algorithm Analysis and Problem Complexity.Programming Techniques.006.3Tinelli Cesareedthttp://id.loc.gov/vocabulary/relators/edtSofronie-Stokkermans Vioricaedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466013903316Frontiers of Combining Systems772665UNISA