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 Systems772665UNISA01611nam0 22003493i 450 SBL008756720251003044349.0IT691646 20130827d1969 ||||0itac50 baitaitz01i xxxe z01nResponsabilità internazionale e attività cosmicheFrancesco DurantePadovaCEDAM1969VII, 122 p.24 cm.Pubblicazioni della Società italiana per l'organizzazione internazionale. Studi6001CFI00106542001 Pubblicazioni della Società italiana per l'organizzazione internazionale. Studi671202Società italiana per l'organizzazione internazionaleCFIV006618Spazio cosmicoDirittoFIRSBLC131254I341.5CONTROVERSIE E CONFLITTI TRA GLI STATI23341.76752DIRITTO INTERNAZIONALE. COOPERAZIONE NELLA RICERCA SCIENTIFICA E TECNOLOGICA. RICERCHE ASTRONOMICHE E SPAZIALI21Aspetti giuridiciSpazio extraterrestreDirittoAspetti giuridiciSpazio cosmicoSpazio extraterrestreITIT-00000020130827IT-BN0095 NAP 01D $SBL0087567Biblioteca Centralizzata di Ateneo 01D (AR) 5 406 01AR 0070054065 VMA A4 1 v.Y 2023051720230517Fondo ChiomentiEx Libris 01Responsabilità internazionale e attività cosmiche4402164UNISANNIO