| 書(shū)目名稱 | Frontiers of Combining Systems |
| 副標(biāo)題 | 7th International Sy |
| 編輯 | Silvio Ghilardi,Roberto Sebastiani |
| 視頻video | http://file.papertrans.cn/350/349266/349266.mp4 |
| 叢書(shū)名稱 | Lecture Notes in Computer Science |
| 圖書(shū)封面 |  |
| 描述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 20:50
發(fā)表于 2025-3-21 16:48:42
