BibTeX record conf/aaai/Wainer92

download as .bib file

@inproceedings{DBLP:conf/aaai/Wainer92,
  author    = {Jacques Wainer},
  title     = {Combining Circumscription and Modal Logic},
  booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
               San Jose, CA, USA, July 12-16, 1992.},
  pages     = {648--653},
  year      = {1992},
  crossref  = {DBLP:conf/aaai/1992},
  url       = {http://www.aaai.org/Library/AAAI/1992/aaai92-100.php},
  timestamp = {Tue, 19 Jun 2018 18:21:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/Wainer92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1992,
  editor    = {William R. Swartout},
  title     = {Proceedings of the 10th National Conference on Artificial Intelligence,
               San Jose, CA, USA, July 12-16, 1992},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1992},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai92.php},
  isbn      = {0-262-51063-4},
  timestamp = {Tue, 19 Jun 2018 18:21:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics