Paraconsistent Computational Logic

PCL 2002: Copenhagen, Denmark

Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai (Eds.): Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Datalogiske Skrifter 95 Roskilde University, Roskilde, Denmark 2002
Contents BibTeX