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 BibTeX
@proceedings{DBLP:conf/pcl/2002,
editor = {Hendrik Decker and
J{\o}rgen Villadsen and
Toshiharu Waragai},
title = {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)},
booktitle = {Paraconsistent Computational Logic},
publisher = {Roskilde University, Roskilde, Denmark},
series = {Datalogiske Skrifter},
volume = {95},
year = {2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Axioms
Models and Sets
Dynamics,
Interaction and Nonmonotonicity
Copyright © Sat May 16 23:32:40 2009
by Michael Ley (ley@uni-trier.de)
