Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / [electronic resource] :
edited by Jacques Garrigue, Manuel V. Hermenegildo.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4989 0302-9743 .
9783540789697
Computer science Logic design Artificial intelligence Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics)