Blume, Matthias.
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings / [electronic resource] : edited by Matthias Blume, Naoki Kobayashi, Germán Vidal. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6009 0302-9743 ; . - Lecture Notes in Computer Science, 6009 .
9783642122514
10.1007/978-3-642-12251-4 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
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.758
005.1
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings / [electronic resource] : edited by Matthias Blume, Naoki Kobayashi, Germán Vidal. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6009 0302-9743 ; . - Lecture Notes in Computer Science, 6009 .
9783642122514
10.1007/978-3-642-12251-4 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
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.758
005.1