Scholz, Sven-Bodo.
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / [electronic resource] : edited by Sven-Bodo Scholz, Olaf Chitil. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 5836 0302-9743 ; . - Lecture Notes in Computer Science, 5836 .
9783642244520
10.1007/978-3-642-24452-0 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / [electronic resource] : edited by Sven-Bodo Scholz, Olaf Chitil. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 5836 0302-9743 ; . - Lecture Notes in Computer Science, 5836 .
9783642244520
10.1007/978-3-642-24452-0 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113