| 书目名称 | Foundations of Logic and Functional Programming |
| 副标题 | Workshop, Trento, It |
| 编辑 | Mauro Boscarol,Luigia Carlucci Aiello,Giorgio Levi |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions. |
| 出版日期 | Conference proceedings 1988 |
| 关键词 | algorithm; algorithms; functional programming; logic; programming |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-19129-1 |
| isbn_softcover | 978-3-540-19129-2 |
| isbn_ebook | 978-3-540-39126-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1988 |
发表于 2025-3-21 18:06:32
