BibTeX record series/sci/NakamatsuA14

download as .bib file

@incollection{DBLP:series/sci/NakamatsuA14,
  author       = {Kazumi Nakamatsu and
                  Jair Minoro Abe},
  editor       = {Colette Faucher and
                  Lakhmi C. Jain},
  title        = {Paraconsistent Annotated Logic Programs and Application to Intelligent
                  Verification Systems},
  booktitle    = {Innovations in Intelligent Machines-4 - Recent Advances in Knowledge
                  Engineering},
  series       = {Studies in Computational Intelligence},
  volume       = {514},
  pages        = {279--315},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-01866-9\_9},
  doi          = {10.1007/978-3-319-01866-9\_9},
  timestamp    = {Fri, 02 Nov 2018 09:26:59 +0100},
  biburl       = {https://dblp.org/rec/series/sci/NakamatsuA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics