Thông tin tài liệu

Full metadata record
DC FieldValueLanguage
dc.contributor.editorUli Sattler; Martin Sudavi
dc.date.accessioned2024-03-21T07:19:45Z-
dc.date.available2024-03-21T07:19:45Z-
dc.date.issued2023-
dc.identifier.isbn978-3-031-43369-6vi
dc.identifier.issn1611-3349vi
dc.identifier.otherOER000003105vi
dc.identifier.urihttp://dlib.hust.edu.vn/handle/HUST/24117-
dc.descriptionEbook miễn phí tại trang https://library.oapen.orgvi
dc.description.abstractThis 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 Related Methods, 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.vi
dc.description.urihttps://library.oapen.org/handle/20.500.12657/76755vi
dc.formatPDFvi
dc.language.isoenvi
dc.publisherSpringer Naturevi
dc.rightsAttribution 3.0 Vietnam*
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/vn/*
dc.subjectKhoa học máy tínhvi
dc.subjectKỹ thuật phần mềmvi
dc.subjectThuật toánvi
dc.subjectLogic máy tínhvi
dc.subjectHội thảovi
dc.subject.lccQA9vi
dc.titleFrontiers of Combining Systems: 14th International Symposium, FroCoS 2023 Prague, Czech Republic, September 20–22, 2023 Proceedingsvi
dc.typeEbooks (Sách điện tử)vi
Appears in Collections:OER - Công nghệ thông tin

Files in This Item:
Thumbnail
  • OER000003105.pdf
      Restricted Access

    • Size : 5,94 MB

    • Format : Adobe PDF

    • View AbstractView OnlineView/Open
    Show simple item record


    This item is licensed under a Creative Commons License Creative Commons