000 04439nam a22007695i 4500
001 978-3-032-04167-8
003 DE-He213
005 20260304124355.0
007 cr nn 008mamaa
008 250915s2026 sz | s |||| 0|eng d
020 _a9783032041678
_9978-3-032-04167-8
024 7 _a10.1007/978-3-032-04167-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aFrontiers of Combining Systems
_h[electronic resource] :
_b15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings /
_cedited by René Thiemann, Christoph Weidenbach.
250 _a1st ed. 2026.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2026.
300 _aXIX, 406 p. 66 illus., 47 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
341 0 _bPDF/UA-1
_2onix
341 0 _bTable of contents navigation
_2onix
341 0 _bSingle logical reading order
_2onix
341 0 _bShort alternative textual descriptions
_2onix
341 0 _bUse of color is not sole means of conveying information
_2onix
341 0 _bUse of high contrast between text and background color
_2onix
341 0 _bNext / Previous structural navigation
_2onix
341 0 _bAll non-decorative content supports reading without sight
_2onix
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v15979
506 0 _aOpen Access
520 _aThis open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025. The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.
532 8 _aAccessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub.
532 8 _aNo reading system accessibility options actively disabled
532 8 _aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0 _aSoftware engineering.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 0 _aComputer science.
650 0 _aMachine theory.
650 0 _aArtificial intelligence.
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer Engineering and Networks.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aArtificial Intelligence.
700 1 _aThiemann, René.
_eeditor.
_0(orcid)0000-0002-0323-8829
_1https://orcid.org/0000-0002-0323-8829
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_923727
700 1 _aWeidenbach, Christoph.
_eeditor.
_0(orcid)0000-0001-6002-0458
_1https://orcid.org/0000-0001-6002-0458
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_923728
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783032041661
776 0 8 _iPrinted edition:
_z9783032041685
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v15979
856 4 0 _uhttps://doi.org/10.1007/978-3-032-04167-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-SXPS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
999 _c579848
_d579848