| 书目名称 | Frontiers of Combining Systems |
| 副标题 | 14th International S |
| 编辑 | Uli Sattler,Martin Suda |
| 视频video | |
| 概述 | This book is open access, which means that you have free and unlimited access |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This 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. |
| 出版日期 | Conference proceedings‘‘‘‘‘‘‘‘ 2023 |
| 关键词 | artificial intelligence; computer networks; automated reasoning; computer systems; description logics; fo |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-43369-6 |
| isbn_softcover | 978-3-031-43368-9 |
| isbn_ebook | 978-3-031-43369-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s) 2023 |
发表于 2025-3-21 17:18:24
