BibTeX record conf/pcl/BesnardSTW02

download as .bib file

@inproceedings{DBLP:conf/pcl/BesnardSTW02,
  author       = {Philippe Besnard and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Paraconsistent Reasoning via Quantified Boolean Formulas, {I:} Axiomatising
                  Signed Systems},
  booktitle    = {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)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {1--15},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207084},
  timestamp    = {Fri, 29 Jan 2021 22:08:08 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/BesnardSTW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics