| 书目名称 | 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|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-26 09:54
发表于 2025-3-21 16:54:38
