BibTeX record conf/ecai/DuvalK86

download as .bib file

@inproceedings{DBLP:conf/ecai/DuvalK86,
  author       = {B{\'{e}}atrice Duval and
                  Yves Kodratoff},
  editor       = {Benedict du Boulay and
                  David C. Hogg and
                  Luc Steels},
  title        = {Automated Deduction in an Uncertain and Inconsistent Data Basis},
  booktitle    = {Advances in Artificial Intelligence II, Seventh European Conference
                  on Artificial Intelligence, {ECAI} 1986, Brighton, UK, July 20-25,
                  1986, Proceedings},
  pages        = {297--304},
  publisher    = {North-Holland},
  year         = {1986},
  timestamp    = {Tue, 30 Jul 2019 08:58:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/DuvalK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}