Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / Michael Codish, Eijiro Sumii (Eds.).
Material type:
TextSeries: Serienbezeichnung | Lecture notes in computer science ; 8475. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham : Springer, [2014]Copyright date: ©2014Description: 1 online resource (xvi, 352 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783319071510; 3319071513Subject(s): Functional programming (Computer science) -- Congresses | Logic programming -- Congresses | Functional programming (Computer science) | Logic programming | computerwetenschappen | computer sciences | programmeertalen | programming languages | programmeren | programming | kunstmatige intelligentie | artificial intelligence | wiskunde | mathematics | logica | logic | software engineering | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 005.1/15 LOC classification: QA76.62 | .F84 2014Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
eBook
|
e-Library
Electronic Book@IST |
EBook | Available |
International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed June 16, 2014).
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.
English.