LEADER 03859nam  22007335  450 
001 9910349303403321
005 20200703235229.0
010   $a3-030-29007-7
024 7 $a10.1007/978-3-030-29007-8
035   $a(CKB)4100000009076224
035   $a(DE-He213)978-3-030-29007-8
035   $a(MiAaPQ)EBC5924193
035   $a(PPN)242823769
035   $a(EXLCZ)994100000009076224
100   $a20190813d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFrontiers of Combining Systems $e12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /$fedited by Andreas Herzig, Andrei Popescu
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XX, 365 p. 564 illus., 6 illus. in color.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v11715
311   $a3-030-29006-9 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.
410  0$aLecture Notes in Artificial Intelligence ;$v11715
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer logic
606   $aAlgorithms
606   $aSoftware engineering
606   $aComputer simulation
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   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615  0$aComputer simulation.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aSimulation and Modeling.
676   $a511.3
676   $a005.131
702   $aHerzig$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPopescu$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349303403321
996   $aFrontiers of Combining Systems$92555154
997   $aUNINA