TY - BOOK AU - Blume,Matthias AU - Kobayashi,Naoki AU - Vidal,German ED - Fuji International Symposium on Functional and Logic Programming ED - SpringerLink (Online service) TI - Functional and logic programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings SN - 9783642122514 (electronic bk.) AV - QA76.62 .F56 2010 U1 - 005.114 22 PY - 2010/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Functional programming (Computer science) KW - Congresses KW - Logic programming KW - Computer Science KW - Software Engineering KW - Logics and Meanings of Programs KW - Programming Languages, Compilers, Interpreters KW - Mathematical Logic and Formal Languages KW - Artificial Intelligence (incl. Robotics) KW - Programming Techniques UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-12251-4 ER -