Paraconsistent Computational Logic

PCL 2002: Copenhagen, Denmark

maintained by Schloss Dagstuhl LZI at University of Trier