| 书目名称 | Frontiers of Combining Systems |
| 副标题 | 7th International Sy |
| 编辑 | Silvio Ghilardi,Roberto Sebastiani |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems. |
| 出版日期 | Conference proceedings 2009 |
| 关键词 | LA; agent programming language; complexity; data mining; description logic; equational reasoning; knowledg |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-04222-5 |
| isbn_softcover | 978-3-642-04221-8 |
| isbn_ebook | 978-3-642-04222-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2009 |
发表于 2025-3-21 16:48:42
