Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Dietmar Seipel Michael Hanus Armin Wolf Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers 5437 2009 http://dx.doi.org/10.1007/978-3-642-00675-3 978-3-642-00674-6 INAP/WLP Lecture Notes in Computer Science Springer db/conf/wlp/wlp2007.html