| 书目名称 | Computer Science Logic |
| 副标题 | 4th Workshop, CSL ‘9 |
| 编辑 | Egon Börger,Hans Kleine Büning,Wolfgang Schönfeld |
| 视频video | http://file.papertrans.cn/234/233769/233769.mp4 |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | The workshop Computer Science Logic ‘90 was held at theMax-Planck-Haus inHeidelberg, Germany, October 1-5, 1990.It was the fourth in a series ofworskhops, following CSL‘89 at the University of Kaiserslautern (see LNCS440), CSL‘88 at the University of Duisberg (see LNCS 385), and CSL‘87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24papers, chosen by means of a reviewprocedure from the 35 papers presentedat the workshop, someof which were invited and some selected from a totalof 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science. |
| 出版日期 | Conference proceedings 1991 |
| 关键词 | Artificial Intelligence; Computational Complexity; Formal Languages; Formale Sprachen; Komplexität; Künst |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-54487-9 |
| isbn_softcover | 978-3-540-54487-6 |
| isbn_ebook | 978-3-540-38401-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1991 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-26 07:29
发表于 2025-3-21 17:32:49
