BibTeX record conf/ijcai/BrachmanGL85

download as .bib file

@inproceedings{DBLP:conf/ijcai/BrachmanGL85,
  author    = {Ronald J. Brachman and
               Victoria P. Gilbert and
               Hector J. Levesque},
  title     = {An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts
               of {KRYPTON}},
  booktitle = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  pages     = {532--539},
  year      = {1985},
  crossref  = {DBLP:conf/ijcai/1985},
  url       = {http://ijcai.org/Proceedings/85-1/Papers/102.pdf},
  timestamp = {Tue, 19 Jul 2016 15:25:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/BrachmanGL85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1985,
  editor    = {Aravind K. Joshi},
  title     = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  url       = {http://ijcai.org/proceedings/1985-1},
  timestamp = {Tue, 19 Jul 2016 15:25:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}