DBLP Record 'conf/aaai/LiberatoreS00'

BibTeX

@inproceedings{DBLP:conf/aaai/LiberatoreS00,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Compilability of Abduction},
  booktitle = {AAAI/IAAI},
  year      = {2000},
  pages     = {349-354},
  crossref  = {DBLP:conf/aaai/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aaai/2000,
  title     = {Proceedings of the Seventeenth National Conference on Artificial
               Intelligence and Twelfth Conference on on Innovative Applications
               of Artificial Intelligence, July 30 - August 3, 2000, Austin,
               Texas, USA},
  publisher = {AAAI Press / The MIT Press},
  year      = {2000},
  isbn      = {0-262-51112-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}