| 書(shū)目名稱(chēng) | Foundations of Logic and Functional Programming |
| 副標(biāo)題 | Workshop, Trento, It |
| 編輯 | Mauro Boscarol,Luigia Carlucci Aiello,Giorgio Levi |
| 視頻video | http://file.papertrans.cn/348/347047/347047.mp4 |
| 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science |
| 圖書(shū)封面 |  |
| 描述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 13:47
發(fā)表于 2025-3-21 18:06:32
