| 書目名稱 | CSL ‘89 |
| 副標題 | 3rd Workshop on Comp |
| 編輯 | Egon B?rger,Hans Kleine Büning,Michael M. Richter |
| 視頻video | http://file.papertrans.cn/221/220584/220584.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field. |
| 出版日期 | Conference proceedings 1990 |
| 關鍵詞 | Komplexit?t; Künstliche Intelligenz; Logik; Sprachen; artificial intelligence; complexity; computer scienc |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-52753-2 |
| isbn_softcover | 978-3-540-52753-4 |
| isbn_ebook | 978-3-540-47137-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1990 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 08:37
發(fā)表于 2025-3-21 16:54:38
