LEADER 03862nam  22007575  450 
001 9910495194703321
005 20251225174950.0
010   $a3-030-86205-4
024 7 $a10.1007/978-3-030-86205-3
035   $a(CKB)5600000000003482
035   $a(MiAaPQ)EBC6716389
035   $a(Au-PeEL)EBL6716389
035   $a(OCoLC)1266354885
035   $a(PPN)25735087X
035   $a(BIP)81431577
035   $a(BIP)81150633
035   $a(DE-He213)978-3-030-86205-3
035   $a(EXLCZ)995600000000003482
100   $a20210831d2021      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFrontiers of Combining Systems $e13th International Symposium, FroCoS 2021, Birmingham, UK, September 8?10, 2021, Proceedings /$fedited by Boris Konev, Giles Reger
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (314 pages)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12941
311 08$a3-030-86204-6 
320   $aIncludes bibliographical references and index.
327   $aCalculi and Unification -- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Non-Disjoint Combined Unification and Closure by Equational Paramodulation -- Symbol Elimination and Applications to Parametric Entailment Problems -- On the copy complexity of width 3 Horn constraint systems -- Description Logics Restricted Unification in the Description Logic FL0 -- Combining Event Calculus and Description Logic Reasoning via Logic Programming -- Semantic Forgetting in Expressive Description Logics -- Interactive Theorem Proving Improving Automation for Higher-order Proof Steps -- JEFL: Joint Embedding of Formal Proof Libraries -- Machine Learning Fast and Slow Enigmas and Parental Guidance -- Vampire With a Brain Is a Good ITP Hammer -- Satisfiability Modulo Theories Optimization Modulo Non-Linear Arithmetic via Incremental Linearization -- Quantifier Simplification by Unification in SMT -- Verification Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems -- Formal Analysis of Symbolic Authenticity -- Formal Verification of a Java Component Using the RESOLVE Framework.
330   $aThis book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v12941
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aComputer science
606   $aMachine theory
606   $aArtificial Intelligence
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aMachine theory.
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a511.3
702   $aKonev$b Boris
702   $aReger$b Giles
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910495194703321
996   $aFrontiers of Combining Systems$92555154
997   $aUNINA