Functional and logic programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
Functional and logic programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / [electronic resource] :
edited by Matthias Blume, Naoki Kobayashi, German Vidal.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
- 1 online resouces(xi, 353 p.) : ill., digital ; 24 cm.
- Lecture notes in computer science, 6009 0302-9743 ; .
9783642122514 (electronic bk.) 9783642122507 (paper)
Functional programming (Computer science)--Congresses.
Logic programming--Congresses.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
QA76.62 / .F56 2010
005.114
9783642122514 (electronic bk.) 9783642122507 (paper)
Functional programming (Computer science)--Congresses.
Logic programming--Congresses.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
QA76.62 / .F56 2010
005.114
