TY - BOOK AU - Claudio Russo, Neng-Fa Zhou TI - Practical Aspects of Declarative Languages SN - 978-3-642-27694-1 PY - 2012/// CY - New York PB - Springer US KW - Computer Science KW - Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics) ER -