DBLP Record 'conf/ecai/MoinardR00'

BibTeX

@inproceedings{DBLP:conf/ecai/MoinardR00,
  author    = {Yves Moinard and
               Raymond Rolland},
  title     = {Equivalent Sets of Formulas for Circumscriptions},
  booktitle = {ECAI},
  year      = {2000},
  pages     = {479-483},
  crossref  = {DBLP:conf/ecai/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecai/2000,
  editor    = {Werner Horn},
  title     = {ECAI 2000, Proceedings of the 14th European Conference on
               Artificial Intelligence, Berlin, Germany, August 20-25,
               2000},
  booktitle = {ECAI},
  publisher = {IOS Press},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}