TY - GEN T1 - Functional and logic programming12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / DA - [2014] CY - Cham : AU - Codish, Michael, AU - Sumii, Eijiro, VL - 8475 CN - SpringerLink CN - QA76.62 PB - Springer, PP - Cham : PY - [2014] N1 - International conference proceedings. N1 - Includes author index. ID - 705382 KW - Functional programming (Computer science) KW - Logic programming SN - 9783319071510 SN - 3319071513 TI - Functional and logic programming12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / LK - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-07151-0 UR - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-07151-0 ER -