Functional and Logic Programming
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-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)
QA76.62 / G37 2008
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)
QA76.62 / G37 2008