LEADER 03307nam  22007215  450 
001 9910744508503321
005 20251117064315.0
010   $a3-031-43369-6
024 7 $a10.1007/978-3-031-43369-6
035   $a(CKB)5670000000770258
035   $a(DE-He213)978-3-031-43369-6
035   $a(PPN)272734284
035   $a(MiAaPQ)EBC30882875
035   $a(Au-PeEL)EBL30882875
035   $a(OCoLC)1398308679
035   $a(EXLCZ)995670000000770258
100   $a20230914d2023      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFrontiers of Combining Systems $e14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20?22, 2023, Proceedings /$fedited by Uli Sattler, Martin Suda
205   $a1st ed. 2023.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023.
215   $a1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.) 
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14279
311 08$a3-031-43368-8 
327   $aAnalysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
330   $aThis book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and RelatedMethods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14279
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   $a006.3
702   $aSattler$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSuda$b M$g(Martin),$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910744508503321
996   $aFrontiers of Combining Systems$92555154
997   $aUNINA