Theory and Practice of Logic Programming (TPLP), Volume 4

Volume 4, Number 1-2, January/March 2004

Book Reviews

Volume 4, Number 3, May 2004

Technical Note Programming Pearl Book review

Volume 4, Number 4, July 2004

Book review

Volume 4, Number 5-6, September-November 2004

Special Issue on Verification and Computational Logic Book reviews
maintained by Schloss Dagstuhl LZI, founded at University of Trier