| 書目名稱 | 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 |
| 關(guān)鍵詞 | 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|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 19:02
發(fā)表于 2025-3-21 17:32:49
