Garrigue, Jacques.
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4989 0302-9743 ; . - Lecture Notes in Computer Science, 4989 .
9783540789697
10.1007/978-3-540-78969-7 doi
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).
QA76.6-76.66
005.11
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4989 0302-9743 ; . - Lecture Notes in Computer Science, 4989 .
9783540789697
10.1007/978-3-540-78969-7 doi
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).
QA76.6-76.66
005.11