Most Popular Books
- Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
- Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 : Proceedings (Lecture Notes in Computer Science)
- Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)
