| 書目名稱 | Frontiers of Combining Systems |
| 副標(biāo)題 | 14th International S |
| 編輯 | Uli Sattler,Martin Suda |
| 視頻video | http://file.papertrans.cn/350/349262/349262.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 03:54
發(fā)表于 2025-3-21 17:18:24
